HyCOMP

Welcome to the home page of the HyCOMP model checker for asynchronous hybrid systems.

HyCOMP is built on top of the nuXmv model checker and of the Mathsat5 SMT solver.

Main features:

• HyDI language
• Verification of invariant propertie
• Verification of LTL properties
• Scenario verification-
• Parameter synthesis
• Discretization of HyDI models to the nuXmv language (i.e. a symbolic transition systems)