Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams
Open Access
- 31 December 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 23 (2), 88-107
- https://doi.org/10.1016/s1571-0661(04)80671-6
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Efficient timing analysis algorithms for timed state space explorationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient Timed Reachability Analysis Using Clock Difference DiagramsLecture Notes in Computer Science, 1999
- Some progress in the symbolic verification of timed automataLecture Notes in Computer Science, 1997
- Model-checking for real-time systemsLecture Notes in Computer Science, 1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Automatic verification of timed circuitsLecture Notes in Computer Science, 1994
- Efficient verification with BDDs using implicitly conjoined invariantsLecture Notes in Computer Science, 1993
- Trace Algebra for Automatic Verification of Real-Time Concurrent SystemsPublished by Defense Technical Information Center (DTIC) ,1992
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986