Width-independent proof certificates for KnownBits and word programs, with research tools and a Lean 4 formalization pilot.
static-analysis program-verification formal-verification abstract-interpretation compiler-optimization lean4 bitvectors proof-certificates knownbits qkf
-
Updated
Sep 19, 2026 - Java