Project SherlockEst. Knowledge

Computer Science · Formal Methods & Verification

Specification Languages

A topic within Formal Methods & Verification, itself one of 8 topics in that field and part of Computer Science.

Reading for Formal Methods & Verification

1

Go deeper

Primary sources and full treatments.

Software FoundationsBenjamin C. Pierce et al., 2007· Free
Teaches logic, proof and programming-language theory by making you build the proofs in a proof assistant, where hand-waving is impossible.
Course

Other topics in Formal Methods & Verification