Specification and Verification: The Spec# Experience
Can a programming language really help programmers write better programs?
K. Rustan M. Leino
Advertisement
Author Archives
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?
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved