1206 search results - page 3 / 242 » Concurrent Abstract Predicates |
82
Voted
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
CORR
2004
Springer
15 years 6 days ago
2004
Springer
TACAS
2010
Springer
15 years 7 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 ...
60
Voted
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
