Repairing real-time requirements

DOI10.1007/978-3-031-19992-9_24MaRDI QIDQ6160924zbMATH OpenFDO

Authors Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré

Publication date 2 June 2023

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Recommendations

• Automated repair for timed systems
• Program repair without regret
• scientific article; zbMATH DE number 1693545
• Correct Hardware Design and Verification Methods
• The Complexity of Linear-Time Temporal Logic Model Repair

Cites work

• scientific article; zbMATH DE number 1487861 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• A comparison of succinctly represented finite-state systems
• A decision tree approach to data classification using signal temporal logic
• A theory of timed automata
• An automated system repair framework with signal temporal logic
• Clock bound repair for timed systems
• Data-driven statistical learning of temporal logic properties
• Incremental methods for checking real-time consistency
• Temporal logic inference for classification and prediction from data
• Timed automata relaxation for reachability

This page was built for publication: Repairing real-time requirements

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