Formal Modeling and Verification of Safety-Critical Software.
Junbeom YooEunkyoung JeeSung Deok ChaPublished in: IEEE Softw. (2009)
Keyphrases
- safety critical
- formal methods
- safety analysis
- modeling language
- nuclear power plant
- model checking
- fault tolerant
- regulatory requirements
- formal specification
- knowledge based systems
- agent architecture
- artificial intelligence
- software intensive systems
- software engineering
- support systems
- embedded systems
- real time