Counterexample visualization and explanation for function block diagrams.

Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin

Browse the full INDIN paper archive.