Parametric verification and test coverage for hybrid automata using the inverse method

DOI10.1142/S0129054113400091MaRDI QIDQ2841997zbMATH OpenFDO

Authors Laurent Fribourg, Ulrich Kühne

Publication date 30 July 2013

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

zbMATH Keywords

hybrid automatahybrid systemsinverse methodparameter synthesis

Mathematics Subject Classification ID

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

Recommendations

• Parametric verification and test coverage for hybrid automata using the inverse method
• HyTech: A model checker for hybrid systems
• Hierarchical reasoning and model generation for the verification of parametric hybrid systems
• Verification of Hybrid Systems
• A compositional approach to the verification of hybrid systems

Cites work

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

Cited in

(7)

• Coverage-guided test generation for continuous and hybrid systems
• Model measuring for discrete and hybrid systems
• Hierarchical reasoning and model generation for the verification of parametric hybrid systems
• Reachset Conformance Testing of Hybrid Automata
• Test Coverage for Continuous and Hybrid Systems
• Decidability of verification of safety properties of spatial families of linear hybrid automata
• Parametric verification and test coverage for hybrid automata using the inverse method

This page was built for publication: Parametric verification and test coverage for hybrid automata using the inverse method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841997)