The DeepSpec consortium developed new science, technology, and tools--for specifying what programs should do, for building programs that conform to those specifications, and for verifying that programs do behave exactly as specified. We focused on..
Relevance: 6.3497076