Executing Model Checking Counterexamples in Simulink.

Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira

Browse the full TASE paper archive.