Verification of safety-critical software.
B. Scott AndersenGeorge RomanskiPublished in: Commun. ACM (2011)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- agent architecture
- nuclear power plant
- model checking
- support systems
- formal specification
- artificial intelligence
- software intensive systems
- real time
- regulatory requirements
- knowledge based systems
- case based reasoning
- domain independent
- intelligent systems
- low cost
- information systems