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

 

This topic: AgMathLife > WebHome > TeachingWiki > SoftWareProjectSS11 > SWP11Tests
Topic revision: 09 Mar 2011, HannesKlarner
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback