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...
sign in to comment
Create A Web Account
If you are an ACM member, Communications subscriber, Digital Library subscriber, or use your institution's subscription, please set up a web account to access comments, premium content and additional site features.
If you are a SIG member or member of the general public, you may set up a web account to comment on free articles and sign up for email alerts.
Tools For Readers
Related ACM Resources
Conferences:
- VLSI 2010: 23rd International Conference on VLSI Design & 9th International Conference on Embedded Systems - January 3, 2010 – January 7, 2010; Bangalore, India
Books:
- Expert Python Programming: Learn Best Practices to Designing, Coding, and Distributing Your Python Software - Tarek Ziadé
Courses:
- XML: An Introduction (Fourth Edition) - XML has unlimited, describing tag set, making it easy to store and extract specific information from an XML document enabling information to be easily shared …
About Communications |
Join ACM 
|
Renew |
Subscribe |
Sign In |
For Authors |
For Advertisers |
Privacy |
Site Map |
Help |
Contact Us
Copyright © 2009 by the ACM. All rights reserved.