Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems.
Klaus Werner SchmidtPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2013)
Keyphrases
- discrete event systems
- petri net
- concurrent systems
- automated verification
- model checking
- complex systems
- model based diagnosis
- formal verification
- failure diagnosis
- telecommunication networks
- model checker
- formal specification
- discrete event
- bounded model checking
- asynchronous circuits
- timed petri nets
- temporal logic
- protocol specification
- temporal constraints
- high level
- formal methods
- dynamic systems
- special case
- database
- dynamic programming
- neural network