Videos on Formal Methods

(Part of the great tab cleanup)

• Bryan Cook on making mathematical proofs a business at Amazon
• Informal Systems on Formal Verification of Tendermint using Apalache and TLA+
• example English specification 
• example code in TLA+

IDP Reasoning System

IDP is a reasoning system of the DTAI at the University of Leuven. There is a web-interface that can be used for experimentation. The system differs from the ASP format in specific ways, though it competes in the tri-annual ASP competitions (for a download of problems see here) It supports representations such as Abstract Dialectical Frameworks.