Exploring a Methodology for Formal Verification of Safety-Critical Systems.
Oisín SheridanPublished in: ABZ (2023)
Keyphrases
- safety critical
- formal verification
- formal methods
- safety analysis
- automated verification
- symbolic model checking
- model checking
- model checker
- management system
- embedded systems
- fault tolerant
- agent architecture
- support systems
- nuclear power plant
- distributed systems
- adaptive systems
- decision support
- peer to peer
- multi agent