1 citations · 2 across the 3 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025
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…
cs.LO2025★ 1 cited
A Sequent Calculus For Trace Formula Implication
Niklas Heidler, Reiner Hähnle
Specification languages are essential in deductive program verification, but they are usually based on first-order logic, hence less expressive than the programs they specify. Rece…