BOOM: Taking Boolean program model checking one step further
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 variant of counter abstraction, where thread counters are used in a program-context aware way. While designed for bounded counters...
Main Authors: | , , , , , |
---|---|
Other Authors: | |
Format: | Conference item |
Published: |
Springer
2010
|
Search Result 1