Computer Sciences

New method ensures complex programs are bug-free without testing

A team of researchers have devised a way to verify that a class of complex programs is bug-free without the need for traditional software testing. Called Armada, the system makes use of a technique called formal verification ...