Published: 12 August 2009  12:00 PM
Source: The Engineer Online

There is now a way to mathematically prove that the software governing critical safety and security systems is free of a large class of errors...

To read full article, visit http://www.theengineer.co.uk/Articles/312631/Safer+software.htm?nl=TE_NL&dep=webops&dte=140809