PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD

DOI10.1142/S0129054113400091zbMath1286.68314MaRDI QIDQ2841997

Ulrich Kühne, Laurent Fribourg

Publication date: 30 July 2013

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

hybrid systemshybrid automatainverse methodparameter synthesis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Model measuring for discrete and hybrid systems ⋮ Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata

Cites Work

• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• HyTech: A model checker for hybrid systems

This page was built for publication: PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD