Home → Magazine Archive → June 2010 (Vol. 53, No. 6) → Technical Perspective: Learning To Do Program Verification → Abstract

Technical Perspective: Learning To Do Program Verification

By K. Rustan M. Leino

Communications of the ACM, Vol. 53 No. 6, Page 106
10.1145/1743546.1743573



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?

The full text of this article is premium content

0 Comments

No entries found