36 citations · 42 across the 8 of their papers we have counts for
1 paper · 1 filter
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…