[PDF][PDF] OS verification-a survey as a source of future challenges
International Journal of Computer Science and Engineering Survey (IJCSES), 2015•academia.edu
Formal verification of an operating system kernel manifests absence of errors in the kernel
and establishes trust in it. This paper evaluates various projects on operating system kernel
verification and presents indepth survey of them. The methodologies and contributions of
operating system verification projects have been discussed in the present work. At the end,
few unattended and interesting future challenges in operating system verification area have
been discussed and possible directions towards the challenge solution have been …
and establishes trust in it. This paper evaluates various projects on operating system kernel
verification and presents indepth survey of them. The methodologies and contributions of
operating system verification projects have been discussed in the present work. At the end,
few unattended and interesting future challenges in operating system verification area have
been discussed and possible directions towards the challenge solution have been …
Abstract
Formal verification of an operating system kernel manifests absence of errors in the kernel and establishes trust in it. This paper evaluates various projects on operating system kernel verification and presents indepth survey of them. The methodologies and contributions of operating system verification projects have been discussed in the present work. At the end, few unattended and interesting future challenges in operating system verification area have been discussed and possible directions towards the challenge solution have been described in brief.
academia.edu
以上显示的是最相近的搜索结果。 查看全部搜索结果