Model checking Trampoline OS: a case study on safety analysis for automotive software.
Yunja ChoiPublished in: Softw. Test. Verification Reliab. (2014)
Keyphrases
- safety analysis
- model checking
- symbolic model checking
- safety critical
- formal methods
- model checker
- temporal logic
- formal verification
- formal specification
- nuclear power plant
- partial observability
- finite state
- verification method
- binary decision diagrams
- fault tolerant
- symbolic representation
- knowledge based systems
- support systems
- cooperative
- open source
- expert systems