Proving Correctness of an OS Kernel

This proof surpasses by far what other formal-verification projects have achieved


January 25, 2010
URL:http://www.drdobbs.com/security/proving-correctness-of-an-os-kernel/222400553

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.