Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

DOI10.3233/FI-2014-1140zbMath1322.68135OpenAlexW1591702344MaRDI QIDQ5259307

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)

Related Items (1)

Checking EMTLK properties of timed interpreted systems via bounded model checking

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