3147 search results - page 292 / 630 » Open-Source Model Checking |
111
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
121
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
149
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
147
Voted
FUIN
2007
15 years 3 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
131
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...