Static analysis cracks the code to bug-free autonomous vehicles
Unlike a glitch in a desktop computer, bugs found in autonomous vehicle (AV) software could be more than just inconvenient. Travelling at high speed and in busy traffic, software errors in an AV could prove life threatening.