SMV model-based safety analysis of software requirements.
Kwang Yong KohPoong Hyun SeongPublished in: Reliab. Eng. Syst. Saf. (2009)
Keyphrases
- safety analysis
- symbolic model checking
- software requirements
- model checking
- software systems
- systems development
- partial observability
- nuclear power plant
- safety critical
- control system
- formal verification
- functional requirements
- software architecture
- symbolic representation
- binary decision diagrams
- knowledge based systems
- software development
- fault model
- requirements engineering
- development process
- model checker
- formal specification
- artificial intelligence
- software engineering
- cooperative
- decision making