Real-Time Model-Checking: Parameters everywhere

DOI10.2168/LMCS-3(1:7)2007MaRDI QIDQ5310683zbMATH OpenFDO

Authors Véronique Bruyère, Jean-François Raskin

Publication date 11 October 2007

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-3(1:7)2007

Mathematics Subject Classification ID

Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Durations and parametric model-checking in timed automata
• scientific article; zbMATH DE number 1962855
• Parameter Synthesis for Timed Kripke Structures
• Bounded Model Checking for Parametric Timed Automata

Cited in

(15)

• On clock-aware LTL parameter synthesis of timed automata
• Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
• Parametric real-time model checking using splitting trees
• Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
• A survey of timed automata for the development of real-time systems
• scientific article; zbMATH DE number 1956586 (Why is no real title available?)
• scientific article; zbMATH DE number 1962855 (Why is no real title available?)
• What's decidable about parametric timed automata?
• Parametric metric interval temporal logic
• Reachability and liveness in parametric timed automata
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• A game approach to the parametric control of real-time systems
• Durations and parametric model-checking in timed automata
• Dense integer-complete synthesis for bounded parametric timed automata
• \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability

This page was built for publication: Real-Time Model-Checking: Parameters everywhere

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