Durations and parametric model-checking in timed automata

DOI10.1145/1342991.1342996MaRDI QIDQ5277801zbMATH OpenOpenAlexFDO

Authors Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1342991.1342996

zbMATH Keywords

model checkingPresburger arithmetictimed automata

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1962855
• Real-Time Model-Checking: Parameters everywhere
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Checking temporal duration properties of timed automata.
• scientific article; zbMATH DE number 1701759

Cited in

(14)

• Checking temporal duration properties of timed automata.
• Bounded Model Checking for Parametric Timed Automata
• Parametric Deadlock-Freeness Checking Timed Automata
• Parametric Timed Model Checking for Guaranteeing Timed Opacity
• Hypervolume Approximation in Timed Automata Model Checking
• scientific article; zbMATH DE number 1962855 (Why is no real title available?)
• scientific article; zbMATH DE number 2038900 (Why is no real title available?)
• scientific article; zbMATH DE number 2087436 (Why is no real title available?)
• Parametric metric interval temporal logic
• Reachability and liveness in parametric timed automata
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Real-Time Model-Checking: Parameters everywhere
• Dense integer-complete synthesis for bounded parametric timed automata
• Execution-time opacity problems in one-clock parametric timed automata

This page was built for publication: Durations and parametric model-checking in timed automata

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