Willkommen zur Präsentation des Model-Checking-Kit's

Haben Sie Lust, Solitaire oder das Schiebespiel zu spielen? Klicken Sie auf den jeweiligen Text.


Solitaire
Schiebespiel

Info - Model-Checking-Kit


Die Spiele funktionieren nur mit Java 1.4 oder höher.

Sollte dies bei Ihrem Rechner nicht installiert sein, klicken Sie hier um zum Downloadcenter von Java Sun zu kommen


erstellt von Mario Bittner, Peter Reimann und Patrick Schaffroth unter der Leitung der Abteilung für Sichere und Zuverlässige Softwaresysteme