A claimed validated operating system.

September 16, 2014 | 0 Comments

The claim: we have demonstrated the comprehensive formal verification of the seL4 microkernel, with a complete proof chain from precise, formal statements of high-level [...]

State machines and circuits

January 17, 2010 | 0 Comments

The cross coupled latch is one of the greatest inventions of the 20th century State machine models of timing and circuit [...]

Dijkstra versus Perlis (updated)

November 10, 2008 | 3 Comments

Bertrand Russell. Dijkstra wrote: He [Perlis] published a very obnoxious paper arguing against a mathematical approach to programming cite The paper  by De Millo, Lipton [...]