595 search results - page 1 / 119 » A Framework for Automatic Construction of Abstract Promela M... |
SPIN
1999
Springer
14 years 3 months ago
1999
Springer
ISORC
1999
IEEE
14 years 3 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
SCP
2010
13 years 9 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
WWW
2006
ACM
14 years 12 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...