Then there's the seL4 OS kernel, which was developed and proven to have zero bugs. http://www.theengineer.co.uk/news/safer-software/312631.article http://www.th

Then there's the seL4 OS kernel, which was developed and proven to have zero bugs. http://www.theengineer.co.uk/news/safer-software/312631.article http://www.theengineer.co.uk/news/safer-software/312631.arti...