Text Size
- Home
-
News
Advanced computing news from Communications of the ACM, other ACM resources, and from around the Web.
- Blogs
- Opinion
-
Browse by Subject
Recent articles from Communications organized into categories that encompass the broad scope of computing.
-
Magazine Archive
-
Careers
Jump-start your career with information on trends, opportunities and jobs – in both industry and academia.
- ACM Resources
-
Subscribe
Receive the benefits of ACM membership with a subscription to its flagship publication, Communications of the ACM.
This Article
ACM News
Method For Verifying Safety Of Computer-Controlled Devices Developed
![[article image]](/system/assets/0000/0574/042109_CMU_Edmund_Clarke.large.jpg?1240320134&1240320134 "Carnegie Mellon University Professor Edmund M. Clarke")
Edmund M. Clarke
MIT
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. The approach, developed by University Professor of Computer Science Edmund M. Clarke and Andre Platzer, assistant professor of computer science, already has detected a flaw in aircraft collision avoidance maneuvers — since corrected &mdas...
Post a comment...
Tools For Readers
Related ACM Resources
Conferences:
- SPAA 2012: 24th ACM Symposium on Parallelism in Algorithms and Architectures - June 25 – 27, 2012; Pittsburgh, PA, USA
Courses:
- Linux+ Certification Second Edition (Part 1): Linux Introduction - In this course, you will obtain an understanding of the history of Linux and manage user and group accounts.Students should have up to 24 months …
About Communications |
Join ACM 
|
Renew |
Subscribe |
Sign In |
For Authors |
For Advertisers |
Privacy |
Site Map |
Help |
Contact Us |
Mobile Site
Copyright © 2012 by the ACM. All rights reserved.