DeepSpec is an Expedition in Computing funded by the National Science Foundation.

We focus on the specification and verification of full functional correctness of software and hardware.