Improved BDD-based discrete analysis of timed systems

DOI10.1007/978-3-642-32759-9_28MaRDI QIDQ4647854zbMATH OpenOpenAlexFDO

Authors Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin-Song Dong, Yan Liu

Publication date 8 November 2012

Published in FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10072/172909

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1324667
• Improvements for the Symbolic Verification of Timed Automata
• scientific article; zbMATH DE number 1852149
• Symbolic model checking of timed guarded commands using difference decision diagrams
• scientific article; zbMATH DE number 1973987

Cited in

(8)

• Zone-based verification of timed automata: extrapolations, simulations and what next?
• Model checking approach to automated planning
• scientific article; zbMATH DE number 1693437 (Why is no real title available?)
• Improvements for the Symbolic Verification of Timed Automata
• scientific article; zbMATH DE number 1324666 (Why is no real title available?)
• scientific article; zbMATH DE number 1852149 (Why is no real title available?)
• Timed automata verification and synthesis via finite automata learning
• Timed automata verification and synthesis via finite automata learning

Describes a project that uses

Uses Software

• Uppaal
• Rabbit
• PAT

This page was built for publication: Improved BDD-based discrete analysis of timed systems

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