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
|