42 citations · 64 across the 12 of their papers we have counts for
3 papers · 1 filter
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…
Decidability Problems for Micro-Stipula
Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier +1
Micro-Stipula is a stateful calculus in which clauses can be activated either through interactions with the external environment or by the evaluation of time expressions. Despite t…
Assessing Code Understanding in LLMs
Cosimo Laneve, Alvise Spanò, Dalila Ressi +2
We present an empirical evaluation of Large Language Models in code understanding associated with non-trivial, semantic-preserving program transformations such as copy propagation…