10159 search results - page 144 / 2032 » System Design Validation Using Formal Models |
118
click to vote
IFIPTM
2010
15 years 25 days ago
2010
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
110
click to vote
ISQED
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
114
click to vote
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
SPLC
2008
15 years 3 months ago
2008
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
140
click to vote
CLEIEJ
2006
15 years 2 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...