Languages and Tools

New formal methods, languages, compilers and other tools for developing, checking, and automating specs and proofs.