BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.

Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu

Browse the full TACAS paper archive.