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

DOI10.1142/S0129054113400091zbMATH Open1286.68314MaRDI QIDQ2841997FDOQ2841997

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)

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

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)

Cites Work

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

Cited In (6)

• Model measuring for discrete and hybrid systems
• Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
• Test Coverage for Continuous and Hybrid Systems
• Parametric verification and test coverage for hybrid automata using the inverse method
• Coverage-guided test generation for continuous and hybrid systems
• Reachset Conformance Testing of Hybrid Automata

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)