RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems.
Mohamed RamdaniLaïd KahloulMohamed KhalguiZhiwu LiMengChu ZhouPublished in: IEEE Trans Autom. Sci. Eng. (2021)
Keyphrases
- model checking
- temporal logic
- formal verification
- discrete event systems
- model based diagnosis
- model checker
- bounded model checking
- petri net
- modal logic
- symbolic model checking
- complex systems
- linear temporal logic
- verification method
- discrete event
- concurrent systems
- epistemic logic
- computation tree logic
- telecommunication networks
- formal methods
- formal specification
- transition systems
- finite state
- temporal constraints
- formal specification language
- mazurkiewicz traces
- reactive systems
- dynamic systems