1 citations · 1 across the 1 of their papers we have counts for
4 papers
RustyDL: A Program Logic for Rust
Daniel Drodt, Reiner Hähnle
Rust is a modern programming language that guarantees memory safety and the absence of data races with a strong type system. We present RustyDL, a program logic for Rust, as a foun…
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…
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…
An Expressive Trace Logic for Recursive Programs
Dilian Gurov, Reiner Hähnle
We present an expressive logic over trace formulas, based on binary state predicates, chop, and least fixed-points, for precise specification of programs with recursive procedures.…