Automotive

A better intelligence test for autonomous driving systems

In 2015, Elon Musk guessed that the industry should expect fully autonomous vehicles by 2018—but that never happened. In 2014, Nissan promised multiple, commercially viable driverless vehicles on the market by 2020. While ...

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 ...