Abstraction-Based Verification for Partially Observed Discrete Event Systems.
Misato YokotaniShigemasa TakaiPublished in: WODES (2014)
Keyphrases
- discrete event systems
- partially observed
- petri net
- model based diagnosis
- hardware designs
- complex systems
- telecommunication networks
- model checking
- failure diagnosis
- timed petri nets
- discrete event
- bounded model checking
- temporal constraints
- formal verification
- dynamic systems
- response time
- dynamic programming
- database systems
- database