Learn More
We present Boom, a comprehensive analysis tool for Bool-ean 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, this method also integrates well with the Karp-Miller(More)
  • 1