Software

In the TPTP World

• The TPTP BNF
• TPTP4X under development

Vampire

• Evgenii: "maybe I'll manage by Friday" ☺

Program Verification

• BLT and Voogie
• Generate partial correctness properties
• Rely on tuples, conditional and let expressions