210 search results - page 2 / 42 » Partial model checking via abstract interpretation |
LOPSTR
2001
Springer
15 years 2 months ago
2001
Springer
CAV
2004
Springer
15 years 3 months ago
2004
Springer
TAP
2008
Springer
14 years 10 months ago
2008
Springer
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
80
Voted
FASE
2003
Springer
15 years 3 months ago
2003
Springer
