1463 search results - page 27 / 293 » Model Checking Implicit-Invocation Systems |
119
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
131
click to vote
ACSC
2008
IEEE
15 years 11 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
157
click to vote
RTSS
1995
IEEE
15 years 8 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
136
click to vote
HYBRID
1995
Springer
15 years 8 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...