Incremental verification and synthesis of discrete-event systems guided by counter examples.
Bertil A. BrandinRobi MalikPetra MalikPublished in: IEEE Trans. Control. Syst. Technol. (2004)
Keyphrases
- discrete event systems
- counter examples
- petri net
- complex systems
- model based diagnosis
- bounded model checking
- failure diagnosis
- telecommunication networks
- discrete event
- timed petri nets
- model checking
- answer sets
- formal verification
- concurrent systems
- special case
- logic programs
- data model
- dynamic systems
- simulation model
- temporal logic
- contextual information
- response time