Scientists develop method for verifying safety of computer-controlled devices

Researchers at Carnegie Mellon University's School of Computer Science have developed a new method for systematically identifying bugs in aircraft collision avoidance systems, high-speed train controls and other complex, computer-controlled devices, collectively known as cyber-physical systems (CPS).

If you want to include this story in your blog, copy and paste this formatted text:

<p><a href="http://www.physorg.com/news159448202.html">Scientists develop method for verifying safety of computer-controlled devices</a></p> <p>Researchers at Carnegie Mellon University's School of Computer Science have developed a new method for systematically identifying bugs in aircraft collision avoidance systems, high-speed train controls and other complex, computer-controlled devices, collectively known as cyber-physical systems (CPS).</p>