2488 search results - page 99 / 498 » An improvement in formal verification |
100
click to vote
AAMAS
2004
Springer
15 years 18 days ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
123
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
125
click to vote
FDL
2006
IEEE
15 years 4 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
114
click to vote
CSFW
2000
IEEE
15 years 4 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
113
Voted
COMCOM
1998
15 years 12 days ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...