Symbolic verification and analysis of discrete timed systems

DOI10.1023/A:1024437214071zbMath1065.68070MaRDI QIDQ1425003

Jürgen Ruf, Thomas Kropf

Publication date: 15 March 2004

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

real-time systemsformal verificationsymbolic model checkingmulti terminal binary decision diagrams

Mathematics Subject Classification ID

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

Uses Software

• Uppaal
• RAVEN

This page was built for publication: Symbolic verification and analysis of discrete timed systems