On Improving Backwards Verification of Timed Automata (Extended Abstract)

DOI10.1016/S1571-0661(04)80469-9zbMath1270.68146OpenAlexW2028606635MaRDI QIDQ2842572

Carlos G. López Pombo, A. Olivero, Victor Braberman

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80469-9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• HyTech
• Uppaal
• Unnamed Item

Cites Work

• Unnamed Item
• Model-checking in dense real-time
• A theory of timed automata
• HyTech: A model checker for hybrid systems

This page was built for publication: On Improving Backwards Verification of Timed Automata (Extended Abstract)