scientific article; zbMATH DE number 1400094

zbMATH Open0937.68086MaRDI QIDQ4939617FDOQ4939617

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

Publication date: 6 February 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

clock difference diagrams

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Reachability analysis for timed automata using max-plus algebra
• Binary decision diagrams
• An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
• Title not available (Why is that?)
• Can decision diagrams overcome state space explosion in real-time verification?
• Model Checking Real-Time Systems
• 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

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)