The Artima Developer Community
Articles | News | Weblogs | Books | Forums
Artima Forums | Articles | Weblogs | Java Answers | News
Sponsored Link •

Web Buzz Forum
World's First Formally-Proven OS Kernel

0 replies on 1 page.

Welcome Guest
  Sign In

Go back to the topic listing  Back to Topic List Click to reply to this topic  Reply to this Topic Click to search messages in this forum  Search Forum Click for a threaded view of the topic  Threaded View   
Previous Topic   Next Topic
Flat View: This topic has 0 replies on 1 page
Charlton Barreto

Posts: 658
Nickname: charltonb
Registered: Jan, 2007

Charlton Barreto is a Computer Scientist/Software Architect for Adobe Systems, Inc.
World's First Formally-Proven OS Kernel Posted: Aug 14, 2009 11:15 AM
Reply to this message Reply

This post originated from an RSS feed registered with Web Buzz by Charlton Barreto.
Original Post: World's First Formally-Proven OS Kernel
Feed Title: Charlton Barreto's Weblog
Feed URL: http://charltonb.typepad.com/weblog/index.rdf
Feed Description: ...manda ver..., my walkabout in cyberspace 		Latest Web Buzz Posts
Latest Web Buzz Posts by Charlton Barreto
Latest Posts From Charlton Barreto's Weblog

Advertisement
http://tech.slashdot.org/story/09/08/13/0827231/Worlds-First-Formally-Proven-OS-Kernel "Operating systems usually have bugs — the 'blue screen of death,' the Amiga Hand, and so forth are known by almost everyone. NICTA's team of researchers has managed to prove that a particular OS kernel is guaranteed to meet...

Read: World's First Formally-Proven OS Kernel

Topic: 10 best Multimedia Entertainment Software for Linux Previous Topic   Next Topic Topic: Another hacking attempt on Twitter: What, when, how!
Sponsored Links


Google
  Web Artima.com   

Copyright © 1996-2019 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use