First machine-checked OS kernel

Kagamin spam at here.lot
Thu Aug 20 01:56:24 PDT 2009


http://www.nicta.com.au/news/home_page_content_listing/world-first_research_breakthrough_promises_safety-critical_software_of_unprecedented_reliability

NICTA announced the completion of the world’s first formal machine-checked proof of a general-purpose operating system kernel, promising safety-critical software of unprecedented levels of reliability.



More information about the Digitalmars-d mailing list