Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System.
Wytse OortwijnMarieke HuismanPublished in: IFM (2019)
Keyphrases
- formal verification
- safety analysis
- safety critical
- symbolic model checking
- control system
- road traffic
- model checking
- formal methods
- model checker
- fault tolerant
- nuclear power plant
- agent architecture
- real time
- embedded systems
- support systems
- temporal logic
- traffic flow
- fuzzy logic
- adaptive systems
- intelligent control
- fault model
- artificial intelligence
- cooperative
- open source
- knowledge base