Name Last Update
..
Donnerstag-5-1.smv Loading commit data...
Donnerstag-5-2.smv Loading commit data...
Mittwoch-5-1.smv Loading commit data...
Mittwoch-5-2.smv Loading commit data...
README Loading commit data...
abp.smv Loading commit data...
hello_world.smv Loading commit data...
hello_world_explicit.smv Loading commit data...
peterson.smv Loading commit data...
sema.smv Loading commit data...
sema_explicit.smv Loading commit data...
sema_modules.smv Loading commit data...
sema_processes.smv Loading commit data...
wolf.smv Loading commit data...
Diese Beispiele koennen mit NuSMV ausgefuehrt werden. 
NuSMV ist im CIP-Pool installiert. Auf der Kommandozeile
fuehrt man zum Beispiel

  NuSMV sema.smv

aus. Es wird dann das Semaphoren-Beispiel ueberprueft.

Ausfuehrliche Dokumentation zu NuSMV findet man auf der 
NuSMV-Homepage: <http://nusmv.fbk.eu/>