2 search results - page 1 / 1 » Tighter integration of BDDs and SMT for Predicate Abstractio... |
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
138
Voted
TACAS
2010
Springer
16 years 7 days 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 ...