Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation.

Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers

Browse the full CAV paper archive.