Counterexample Classification.

Cole Vick, Eunsuk Kang, Stavros Tripakis

Browse the full SEFM paper archive.