Page SWP11Tests

((short description what this page is about))

Python Tests.

• import subprocess
• import networkx

NuSMV Tests.

• Anhang test_nusmv.smv
• Anhang test_nusmv.sc
• (1) nusmv test_nusmv.smv
• (2) nusmv -source test_nusmv.src

GINsim Tests.

• Anhang test_ginsim.ginml
• Starte GINsim. Lade test_ginsim.ginml und lass dir den Übergangsgraphen berechnen. (run simulation)
• Wähle einen Zustan

((content))

Comments