Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)

Reiner Hähnle, Cosimo Laneve, Adele Veschetti

Stipula is a domain-specific programming language designed to model legal contracts with enforceable properties, especially those involving asset transfers and obligations. This pa…