You are here: Foswiki>AgMathLife Web>TeachingWiki>SoftWareProjectSS11>SWP11Tests (09 Mar 2011, HannesKlarner)Edit Attach

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

 
Edit  | Attach | Print version | History: r3 < r2 < r1 | Backlinks | View wiki text | Edit wiki text | More topic actions
Topic revision: r2 - 09 Mar 2011, HannesKlarner - This page was cached on 13 Mar 2025 - 03:06.

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