Formal Specification and Verification of Separation Kernels: An Overview.
Yongwang ZhaoPublished in: CoRR (2015)
Keyphrases
- formal specification
- model checking
- concurrent systems
- formal methods
- model checker
- protocol specification
- temporal logic
- formal verification
- process algebra
- specification languages
- object oriented design
- specification language
- data abstraction
- kernel function
- reverse engineering
- bounded model checking
- computation tree logic
- grid workflow
- support vector
- feature space
- kernel methods
- asynchronous circuits
- business rules
- database systems
- knowledge base