Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

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

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

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)

Cited In (4)

• Bounded Model Checking for Parametric Timed Automata
• Formal Modeling and Analysis of Timed Systems
• Checking EMTLK properties of timed interpreted systems via bounded model checking
• Bounded model checking for timed automata

   Recommendations

• Formal Modeling and Analysis of Timed Systems 👍 👎
• Bounded model checking for timed automata 👍 👎
• Title not available (Why is that?) 👍 👎
• Bounded Model Checking for Parametric Timed Automata 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Verified model checking of 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)