Multi-Requirement Testing Using Focused Falsification

DOI10.1145/3501710.3519521OpenAlexW4224994162MaRDI QIDQ6120692

Knut Åkesson, Alexandre Donzé, Unnamed Author

Publication date: 21 February 2024

Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://research.chalmers.se/en/publication/530011

zbMATH Keywords

testingfalsificationCPSformal requirements

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Robustness of temporal logic specifications for continuous-time signals
• Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
• What's decidable about hybrid automata?
• Powertrain control verification benchmark
• Reactive synthesis from signal temporal logic specifications
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• Stochastic Local Search for Falsification of Hybrid Systems
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal Methods in Computer-Aided Design

This page was built for publication: Multi-Requirement Testing Using Focused Falsification