Improved BDD-Based Discrete Analysis of Timed Systems

DOI10.1007/978-3-642-32759-9_28zbMath1372.68175OpenAlexW37658565MaRDI QIDQ4647854

Truong Khanh Nguyen, Yang Liu, Jin-Song Dong, Jun Sun, 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)

Related Items (4)

Unnamed Item ⋮ Model checking approach to automated planning ⋮ Timed automata verification and synthesis via finite automata learning ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?

Uses Software

• Uppaal
• PAT
• Unnamed Item

This page was built for publication: Improved BDD-Based Discrete Analysis of Timed Systems