55 search results - page 1 / 11 » Hardness for Explicit State Software Model Checking Benchmar... |
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
SPIN
2010
Springer
13 years 2 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...