Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk).
Dirk BeyerPublished in: FTSCS (2022)
Keyphrases
- safety critical
- formal methods
- safety analysis
- cooperative
- invited talk
- fault tolerant
- support systems
- nuclear power plant
- model checking
- embedded systems
- agent architecture
- regulatory requirements
- knowledge based systems
- adaptive systems
- distributed systems
- information systems
- artificial intelligence
- machine learning