Parallelism for Free: Bitvector Analyses -> No State Explosion!

Jens Knoop, Bernhard Steffen, Jrgen Vollmer

Browse the full TACAS paper archive.