Synthesis of timing parameters satisfying safety properties

DOI10.1007/978-3-642-24288-5_5zbMATH Open1348.68117OpenAlexW2118782404MaRDI QIDQ3172862FDOQ3172862

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

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

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)

Cited In (10)

• \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
• Title not available (Why is that?)

Uses Software

• IMITATOR
• VINAS-P

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)