Synthesis of timing parameters satisfying safety properties

DOI10.1007/978-3-642-24288-5_5MaRDI QIDQ3172862zbMATH OpenOpenAlexFDO

Authors Étienne André, Romain Soulat

Publication date 7 October 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24288-5_5

zbMATH Keywords

verificationreal-time systemstimed automataimitator

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• Integer-complete synthesis for bounded parametric timed automata
• Parameter synthesis for hierarchical concurrent real-time systems
• \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
• An inverse method for parametric timed automata

Cited in

(10)

• scientific article; zbMATH DE number 7577576 (Why is no real title available?)
• \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
• Certifying emptiness of timed Büchi automata
• Parameter synthesis through temporal logic specifications
• Learning-based compositional parameter synthesis for event-recording automata
• Consistency and satisfiability of waveform timing specifications
• Cycle encoding-based parameter synthesis for timed automata safety
• Integer-complete synthesis for bounded parametric timed automata
• Verification and parameter synthesis for real-time programs using refinement of trace abstraction
• An inverse method for parametric timed automata

Describes a project that uses

Uses Software

• VINAS-P
• IMITATOR

This page was built for publication: Synthesis of timing parameters satisfying safety properties

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