Building Certified Concurrent OS Kernels.

Operating system (OS) kernels form the backbone of system software. They can have a significant impact on the resilience and security of today’s computers. Recent efforts have demonstrated the feasibility of formally verifying simple general-purpose kernels, but they have ignored the important issue...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 62; no. 10; pp. 89 - 100
Main Authors:	Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Sjöberg, Vilhelm, Costanzo, David
Format:	Article
Published:	Association for Computing Machinery Oct2019
Subjects:	Kernel operating systems Computer multitasking Computer security Software frameworks Computer programming
Online Access:	View this record in EBSCOhost