Visual counterexample explanation for model checking with OERITTE.

Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Browse the full ICECCS paper archive.