Marco Roveri
Tools
Vedi
Modifica
Stampa
Login
Home Page
Interessi di Ricerca
Pubblicazioni
All
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
Older
Tools
Progetti
Stage
Eventi
Insegnamento
Notizie
Amici
Contatti
Login
The nuXmv symbolic model checker for finite and infinite state transition systems
The Kratos Software Model Checker
The NuSMV Symbolic Model Checker
The Model Based Planner built on top of NuSMV
The Formal Safety Analysis Platform
The MathSAT Modulo Theories Solver
The COMPASS tool
The NuGaT Game Solver
The Requirements Analysis Tool
A Simple Form Word Count (Easychair Like)