248 search results - page 7 / 50 » Virtual Symmetry Reduction |
EOR
2011
13 years 4 months ago
2011
ATVA
2007
Springer
14 years 1 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 ...
PRDC
2006
IEEE
14 years 3 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
JMM2
2006
13 years 9 months ago
2006
We present a low cost, hybrid active/passive 3D scanning system based on an off-the-shelf camera, a laser stripe illuminator and a turntable. The system combines the good accuracy ...
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...