1111 search results - page 7 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
139
Voted
PADL
2007
Springer
16 years 15 days ago
2007
Springer
142
Voted
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
159
Voted
CP
2007
Springer
16 years 16 days ago
2007
Springer
157
Voted
TACAS
2010
Springer
16 years 1 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 ...