pthrr / nusmv_counterexample_visualizer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from igor-buzhinsky/nusmv_counterexample_visualizer
Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker
License: MIT License