2 search results - page 1 / 1 » Efficient Approximate Verification of Promela Models Via Sym... |
ATVA
2007
Springer
13 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
AMAI
2010
Springer
13 years 3 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...