Velvet: A Foundational Multi-Modal Verifier for Imperative Programs in Lean. Software Artefact

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Vladimir Gladshtein, Vitaly Kurin, Yueyang Feng, Dipesh Kafle, George Pîrlea, Qiyuan Zhao, Ilya Sergey
DOI: 10.5281/zenodo.19801401
Cited by: 1

Abstract

The artifact of CAV'26 paper Velvet: A Foundational Multi-Modal Verifier for Imperative Programs in Lean

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
27 April 2026