TY  - RPRT
TI  - Visual counterexample explanation for model checking with Oeritte
AU  - Polina Ovsiannikova
AU  - Igor Buzhinsky
AU  - Antti Pakonen
AU  - Valeriy Vyatkin
PY  - 2020
UR  - https://arxiv.org/abs/2012.15097
ID  - 2012.15097
ER  -