Improvements for the Symbolic Verification of Timed Automata

DOI10.1007/978-3-540-73196-2_13zbMath1215.68136OpenAlexW1873868385MaRDI QIDQ3614852

Rongjie Yan, Yunquan Peng, Wenliang Zhang, Guangyuan Li

Publication date: 10 March 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73196-2_13

zbMATH Keywords

verificationBDDsymbolic methodtimed systems

Mathematics Subject Classification ID

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

Uses Software

• Kronos
• Rabbit
• Uppaal

Cites Work

• A theory of timed automata
• Uppaal in a nutshell
• Theoretical Aspects of Computing – ICTAC 2005
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Formal design and analysis of a gear controller
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Improvements for the Symbolic Verification of Timed Automata