Overview News How to install the Kit A sample session Modelling a system Describing properties Checking properties Extending the Kit Current Members: Javier Esparza Claus Schröter Stefan Schwoon Link: Solitaire Game Solver