Change-based causes in counterexample explanation for model checking.

Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin

Browse the full IECON paper archive.