Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

DOI10.3233/FI-2014-1140MaRDI QIDQ5259307zbMATHOpenAlexFDO

Authors Bożena Woźna-Szcześniak, Andrzej Zbrzezny

Publication date 26 June 2015

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2014-1140

Mathematics Subject Classification ID

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

Recommendations

• Formal Modeling and Analysis of Timed Systems
• Bounded model checking for timed automata
• scientific article; zbMATH DE number 1423228
• Bounded Model Checking for Parametric Timed Automata
• scientific article; zbMATH DE number 1973987
• Checking EMTLK properties of timed interpreted systems via bounded model checking
• Bounded model-checking of discrete duration calculus
• Model checking MITL formulae on timed automata. A logic-based approach
• Verified model checking of timed automata

Cited in

(7)

• Bounded model checking for timed automata
• Formal Modeling and Analysis of Timed Systems
• Bounded Model Checking for Parametric Timed Automata
• Checking EMTLK properties of timed interpreted systems via bounded model checking
• Bounded model-checking of discrete duration calculus
• From \textsc{mtl} to deterministic timed automata
• Simple SMT-based bounded model checking for timed interpreted systems

This page was built for publication: Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

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