Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis.
Yunja ChoiPublished in: IEICE Trans. Inf. Syst. (2013)
Keyphrases
- operating system
- safety analysis
- symbolic model checking
- model checking
- temporal logic
- model checker
- formal verification
- computer systems
- finite state
- formal methods
- safety critical
- formal specification
- distributed systems
- expert systems
- partial observability
- nuclear power plant
- control system
- database systems
- domain independent
- binary decision diagrams
- database
- first order logic
- orders of magnitude
- databases
- real time