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.
Home » Magazine Archive » 2010 » No. 6 » Technical Perspective: Learning To Do Program Verification » Abstract
Research highlights
Technical Perspective: Learning To Do Program Verification
When you decide to use a piece of software, how do you know it will do what you need it to do? Will it be safe to run? Will it interfere with other software you already have?
Read the Full Article:
Tools For Readers
Text Size
Related ACM Resources
Conferences:
- ISMM 2012: International Symposium on Memory Management - June 15 – 16, 2012; Beijing, China
Courses:
- Microsoft Office PowerPoint 2007: Level 2 (Second Edition) - Design Microsoft Office PowerPoint 2007 presentations with high-quality sound and visual enhancements to better meet the expectations of media savvy audiences while effectively making your …
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.