Velvet: A Foundational Multi-modal Verifier for Imperative Programs in Lean.

Vladimir Gladshtein, Vitaly Kurin, Yueyang Feng, Dipesh Kafle, George Prlea, Qiyuan Zhao, Ilya Sergey

Browse the full CAV paper archive.