Improvements for the Symbolic Verification of Timed Automata

DOI10.1007/978-3-540-73196-2_13MaRDI QIDQ3614852zbMATH OpenOpenAlexFDO

Authors Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng

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

BDDsymbolic methodtimed systemsverification

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1693437
• scientific article; zbMATH DE number 1852149
• scientific article; zbMATH DE number 1324667
• Improved BDD-based discrete analysis of timed systems
• Verification of timed automata via satisfiability checking

Cites work

• A theory of timed automata
• Can decision diagrams overcome state space explosion in real-time verification?
• Formal design and analysis of a gear controller
• scientific article; zbMATH DE number 1693437 (Why is no real title available?)
• scientific article; zbMATH DE number 3126094 (Why is no real title available?)
• scientific article; zbMATH DE number 1304998 (Why is no real title available?)
• scientific article; zbMATH DE number 1953031 (Why is no real title available?)
• scientific article; zbMATH DE number 2102717 (Why is no real title available?)
• scientific article; zbMATH DE number 1424030 (Why is no real title available?)
• Theoretical Aspects of Computing – ICTAC 2005
• Uppaal in a nutshell

Cited in

(9)

• Symbolic verification and analysis of discrete timed systems
• scientific article; zbMATH DE number 1693437 (Why is no real title available?)
• On improving backwards verification of timed automata (extended abstract)
• Better abstractions for timed automata
• Symbolic Simulation-Checking of Dense-Time Automata
• scientific article; zbMATH DE number 2080038 (Why is no real title available?)
• Improved BDD-based discrete analysis of timed systems
• SMT-based induction methods for timed systems
• The Power of Proofs: New Algorithms for Timed Automata Model Checking

Describes a project that uses

Uses Software

• Kronos
• Rabbit
• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3614852)