Verification of Safety-critical Software.
B. Scott AndersenGeorge RomanskiPublished in: ACM Queue (2011)
Keyphrases
- safety critical
- formal methods
- safety analysis
- nuclear power plant
- embedded systems
- fault tolerant
- agent architecture
- model checking
- support systems
- machine learning
- software intensive systems
- adaptive systems
- software systems
- knowledge based systems
- artificial intelligence
- data mining
- business intelligence
- distributed systems
- source code
- software engineering
- regulatory requirements