CACM logo

Contributed articles

Certified Software

[article image]
Credit: John Hersey

Only if the programmer can prove (through formal machine-checkable proofs) it is free of bugs with respect to a claim of dependability.

Read the Full Article:

Tools For Readers

Bookmark and Share
Default Font Size Large Font Size X-Large Font Size Text Size

Related ACM Resources

Conferences:

Courses:

  • Storage Network Management - Understanding SAN management challenges, requirements, and solutions will help you design more robust SAN solutions and recommend storage management products for potential clients. After completing …

In The Digital Library


About Communications | Join ACM External Link | Renew External Link | Subscribe External Link | Sign In | For Authors | For Advertisers External Link | Privacy | Site Map | Help | Contact Us | Mobile Site

Copyright © 2012 by the ACM. All rights reserved.