Marco Roveri : Tools - Tools browse

	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)