15792 search results - page 105 / 3159 » Computational Abstraction Steps |
GG
2008
Springer
15 years 4 months ago
2008
Springer
84
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
125
Voted
PDPTA
2010
15 years 1 months ago
2010
121
Voted
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...
102
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM