1472 search results - page 34 / 295 » On Model Checking Infinite-State Systems |
116
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
126
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
133
click to vote
SIGSOFT
1996
ACM
15 years 7 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
142
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
120
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...