1111 search results - page 7 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
92
Voted
PADL
2007
Springer
15 years 9 months ago
2007
Springer
98
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
114
Voted
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
110
Voted
TACAS
2010
Springer
15 years 9 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 ...