This proof surpasses by far what other formal-verification projects have achieved
January 25, 2010
URL:http://www.drdobbs.com/embedded-systems/proving-correctness-of-an-os-kernel/222400553
Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.