DEEPSPEC

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 core software-systems infrastructure such as operating systems, programming-language compilers, and computer chips; with applications such as elections and voting systems, cars, and smartphones... We focused on the specification and verification of full functional correctness of software and hardware.