On-Line Model Checking as Operating System Service.
Franz J. RammigYuhong ZhaoSufyan SamaraPublished in: SEUS (2009)
Keyphrases
- operating system
- model checking
- temporal logic
- application level
- computer systems
- formal verification
- temporal properties
- symbolic model checking
- automated verification
- model checker
- formal specification
- formal methods
- virtual machine
- verification method
- epistemic logic
- timed automata
- web services
- microsoft windows
- computation tree logic
- windows xp
- service oriented
- distributed systems
- bounded model checking
- red hat
- dynamic analysis
- service oriented architecture
- web service composition
- multi tasking
- modal logic
- operating environment
- deterministic finite automaton
- database