Safer software |
Published: 12 August 2009 12:00 PM 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
|