2 papers
cs.SE2026
Scalable Deductive Verification of Data-Level Parallel Programs
Lars B. van den Haak, Anton Wijs, Marieke Huisman
This paper introduces several techniques that improve the scalability of the deductive verification of data-level programs working on arrays and matrices. First of all, we introduc…
cs.LO2024
HaliVer: Deductive Verification and Scheduling Languages Join Forces
Lars B. van den Haak, Anton Wijs, Marieke Huisman +1
The HaliVer tool integrates deductive verification into the popular scheduling language Halide, used for image processing pipelines and array computations. HaliVer uses Vercors, a…