53 search results - page 3 / 11 » Minimization of Counterexamples in SPIN |
67
Voted
CAV
2008
Springer
14 years 11 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
15 years 3 months ago
2007
Springer
66
Voted
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
DATE
2010
IEEE
15 years 2 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...
63
Voted
SPIN
2007
Springer
15 years 3 months 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...