650 search results - page 16 / 130 » The SpinJa Model Checker |
146
Voted
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
172
Voted
FROCOS
2009
Springer
16 years 4 days ago
2009
Springer
HASE
2007
IEEE
15 years 12 months ago
2007
IEEE