1 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2024
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.…