Wed 19 Aug 2009
A formally verified kernel
Posted by saari under Uncategorized
No Comments
http://www.nicta.com.au/news/home_page_content_listing/world-first_research_breakthrough_promises_safety-critical_software_of_unprecedented_reliability
-
Archived Entry
- Post Date :
- Wednesday, Aug 19th, 2009 at 2:23 pm
- Category :
- Uncategorized
- Tags :
- Do More :
- You can skip to the end and leave a response. Pinging is currently not allowed.
-
August 2009 M T W T F S S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 -
Pages:
-
Categories:
- Tech (2)
- Uncategorized (28)
-
-
Meta
No Responses to “ A formally verified kernel ”