28 search results - page 6 / 6 » A lazy approach to symmetry reduction |
FMCAD
2006
Springer
13 years 9 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
COMPSEC
2010
13 years 5 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...