Evidence Explorer: A Tool for Exploring Model-Checking Proofs.

Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka

Browse the full CAV paper archive.