scientific article; zbMATH DE number 2102717
From MaRDI portal
Publication:4818802
zbMATH Open1046.68577MaRDI QIDQ4818802FDOQ4818802
Authors: Gerd Behrmann, Justin Pearson, Carsten Weise, Wang Yi, Kim G. Larsen 
Publication date: 24 September 2004
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1400094
- Can decision diagrams overcome state space explosion in real-time verification?
- Compact data structures and state-space reduction for model-checking real-time systems
- scientific article; zbMATH DE number 1324667
- scientific article; zbMATH DE number 1424030
Cited In (20)
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Improvements for the Symbolic Verification of Timed Automata
- Reachability analysis for timed automata using max-plus algebra
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Zero, successor and equality in BDDs
- To store or not to store.
- Hierarchical Set Decision Diagrams and Regular Models
- Title not available (Why is that?)
- Compact data structures and state-space reduction for model-checking real-time systems
- Can decision diagrams overcome state space explosion in real-time verification?
- Model Checking Real-Time Systems
- Towards deriving test sequences by model checking
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
- Superposition as a decision procedure for timed automata
- A partial order semantics approach to the clock explosion problem of timed automata
- Operations on timed scenarios
- Title not available (Why is that?)
Uses Software
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 Q4818802)
