About STIPULA
Cosimo Laneve: The Stipula Platform, a workbench for programming, analysing and executing legal contracts, September 2025.
Richard Hahnle, Cosimo Laneve, Adele Veschetti: Formal Verification of Legal Contracts: A Translation-based Approach, September 2025.
...
The Lab promotes the research on Blockchain and New Technologies and their technological transfer.
The STIPULA Project -- Development of a programming language for legal contracts and of its toolchain. The whole toolchain is available here on GitHub. In particular, Adele Veschetti has developed the interpreter, Elia Venturi has prototyped the graphical interface, Samuele Evangelisti has ...
