The ConCert Project
Certified Code for Grid Computing
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
USA