1 citations · 1 across the 2 of their papers we have counts for
2 papers
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.PL2022
Mechanization of LAGC Semantics in Isabelle
Niklas Heidler
Formal programming language semantics are imperative when trying to verify properties of programs in an automated manner. Using a new approach, Din et al. strengthen the ability of…