650 search results - page 16 / 130 » The SpinJa Model Checker |
198
Voted
CAV
2010
Springer
15 years 11 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...
213
Voted
FROCOS
2009
Springer
16 years 2 months ago
2009
Springer
112
Voted
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
193
Voted
DEPCOS
2006
IEEE
16 years 1 months ago
2006
IEEE