A Scenario Approach to Risk-Aware Safety-Critical System Verification.
Prithvi AkellaMohamadreza AhmadiAaron D. AmesPublished in: CoRR (2022)
Keyphrases
- safety critical
- formal methods
- safety analysis
- nuclear power plant
- model checking
- fault tolerant
- embedded systems
- agent architecture
- support systems
- model checker
- artificial intelligence
- software engineering
- regulatory requirements
- adaptive systems
- knowledge based systems
- formal verification
- real time
- intelligent systems
- knowledge acquisition
- object oriented
- control system
- decision making
- databases