Test Coverage for Continuous and Hybrid Systems
From MaRDI portal
Publication:5429336
DOI10.1007/978-3-540-73368-3_47zbMath1135.68346OpenAlexW1578823551MaRDI QIDQ5429336
Publication date: 29 November 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_47
Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (7)
Stealthy attacks formalized as STL formulas for Falsification of CPS Security ⋮ Analog property checkers: a DDR2 case study ⋮ Falsification of LTL Safety Properties in Hybrid Systems ⋮ Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Coverage-guided test generation for continuous and hybrid systems ⋮ Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
This page was built for publication: Test Coverage for Continuous and Hybrid Systems