10 citations · 30 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2015★ 5 cited
Confluence Detection for Transformations of Labelled Transition Systems
Anton Wijs
The development of complex component software systems can be made more manageable by first creating an abstract model and then incrementally adding details. Model transformation is…