Integrated formal verification of safety-critical software.
Ning GeEric JennNicolas BretonYoann FonteneauPublished in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
- safety critical
- formal verification
- formal methods
- model checking
- safety analysis
- model checker
- symbolic model checking
- fault tolerant
- embedded systems
- agent architecture
- nuclear power plant
- program slicing
- regulatory requirements
- temporal logic
- support systems
- adaptive systems
- formal specification
- real time
- software systems
- medical images
- low cost
- e learning