scientific article; zbMATH DE number 2102717
From MaRDI portal
Publication:4818802
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)- Zero, successor and equality in BDDs
- To store or not to store.
- Model Checking Real-Time Systems
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
- A partial order semantics approach to the clock explosion problem of timed automata
- scientific article; zbMATH DE number 1982208 (Why is no real title available?)
- Superposition as a decision procedure for timed automata
- Reachability analysis for timed automata using max-plus algebra
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Towards deriving test sequences by model checking
- Operations on timed scenarios
- scientific article; zbMATH DE number 1953031 (Why is no real title available?)
- scientific article; zbMATH DE number 1424030 (Why is no real title available?)
- scientific article; zbMATH DE number 139824 (Why is no real title available?)
- scientific article; zbMATH DE number 1400094 (Why is no real title available?)
- Hierarchical Set Decision Diagrams and Regular Models
- Improvements for the Symbolic Verification of Timed Automata
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Compact data structures and state-space reduction for model-checking real-time systems
- Can decision diagrams overcome state space explosion in real-time verification?
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)
