650 search results - page 16 / 130 » The SpinJa Model Checker |
120
click to vote
CAV
2010
Springer
15 years 7 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...
101
Voted
ERLANG
2009
ACM
15 years 10 months ago
2009
ACM
79
Voted
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
119
Voted
DEPCOS
2006
IEEE
15 years 9 months ago
2006
IEEE