activity
20242026
collaborators

1 paper

cs.PL2025

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)

Takeshi Tsukada, Hiroshi Unno, Oded Padon +1

Many algorithms in verification and automated reasoning leverage some form of duality between proofs and refutations or counterexamples. In most cases, duality is only used as an i…