Articles

Whiley Compiler Status Update

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

Software Engineering Disasters [VIDEO]

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]