Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin. Visual counterexample explanation for model checking with OERITTE. In Yi Li 0002, Alan Wee-Chung Liew, editors, 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020. pages 1-10, IEEE, 2020. [doi]
Abstract is missing.