scientific article; zbMATH DE number 1400094

MaRDI QIDQ4939617zbMATH OpenFDO

Authors Justin Pearson, Carsten Weise, Wang Yi, Kim G. Larsen

Publication date 6 February 2000

zbMATH Keywords

clock difference diagrams

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2102717
• Difference decision diagrams
• Can decision diagrams overcome state space explosion in real-time verification?
• Symbolic model checking of timed guarded commands using difference decision diagrams
• Efficient verification of timed automata with BDD-like data-structures

Cited in

(12)

• Parking can get you there faster: model augmentation to speed up real-time model checking
• Bounded model checking for timed automata
• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• Binary decision diagrams
• Model Checking Real-Time Systems
• A survey of timed automata for the development of real-time systems
• Efficient verification of timed automata with BDD-like data-structures
• Reachability analysis for timed automata using max-plus algebra
• scientific article; zbMATH DE number 2102717 (Why is no real title available?)
• An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
• Can decision diagrams overcome state space explosion in real-time verification?
• The octagon abstract domain

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication:

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