Re: formal verification & related topics

[Brett]

On 01/18/2011 06:42 AM, Robert wrote:
On Mon, 17 Jan 2011 15:11:56 -0200
"Christiano F. Haesbaert"<haesba...@haesbaert.org>  wrote:
Isn't formal verification of code one of those
academic-impossible-to-do-in-real-world thing ?
Has been done in a microkernel, monolithic like OpenBSD would be a lot 
trickier:

http://www.ok-labs.com/whitepapers/sample/sel4-formal-verification-of-an-os-kernel