System aims to stop software glitches

JODY O'CALLAGHAN

Last updated 09:44 10/01/2013

Supplied

INVENTIVE: David Pearce from Victoria University's School of Engineering and Computer Science, has designed a programming language that uses automated mathematical and logical reasoning to check computer software decisions are correct.