High-Assurance Separation Kernels: A Survey on Formal Methods.
Yongwang ZhaoDavid SanánFuyuan ZhangYang LiuPublished in: CoRR (2017)
Keyphrases
- formal methods
- high assurance
- fault tolerant
- software systems
- operating system
- distributed systems
- access control
- formal analysis
- software engineering
- formal specification
- kernel function
- safety critical
- model checker
- knowledge based systems
- model checking
- artificial intelligence
- provably correct
- process algebra
- kernel methods
- database
- feature space
- machine learning
- real world
- modeling language
- support vector
- reactive systems
- development lifecycle
- databases