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
• scientific article; zbMATH DE number 1424030
• Can decision diagrams overcome state space explosion in real-time verification?
• Symbolic model checking of timed guarded commands using difference decision diagrams
• scientific article; zbMATH DE number 1953031

Cited in

(12)

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

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)