Documentation

Articles

Contribute

Whiley Compiler Status Update

By Dave, on June 7th, 2010

So, a little update regarding the status of the Whiley compiler. I have spent a considerable amount of time redesigning the theorem prover over the last 8-12 weeks, and still haven’t managed to put everything back together. The reason for this was simply that I reached a brick wall in terms of the original . . . → Read More: Whiley Compiler Status Update

One comment   Development   ,  

Software Engineering Disasters [VIDEO]

By Dave, on June 7th, 2010

So, recently I came across a good video which looks at a number of interesting software failures. The video looks at the Ariane-5 explosion, the Patriot missle clock glitch, and more.

. . . → Read More: Software Engineering Disasters [VIDEO]

Leave a comment   Interest    
« Previous