53 search results - page 3 / 11 » Minimization of Counterexamples in SPIN |
CAV
2008
Springer
13 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
ATVA
2007
Springer
14 years 7 days ago
2007
Springer
CHARME
2005
Springer
13 years 11 months ago
2005
Springer
DATE
2010
IEEE
13 years 11 months ago
2010
IEEE
—With the prospect of atomic-scale computing, we study cumulative energy profiles of spin-spin interactions in nonferromagnetic lattices (Ising spin-glasses)—an established to...
SPIN
2007
Springer
14 years 5 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...