Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

DOI10.3233/FI-2014-1140zbMATH Open1322.68135OpenAlexW1591702344MaRDI QIDQ5259307FDOQ5259307

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

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

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)

Cited In (7)

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

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)