3 papers
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.DS2016
Proceedings Second Graphs as Models Workshop
Alexander Heußner, Aleks Kissinger, Anton Wijs
Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, soci…
cs.LO2014
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering
Dragan Bošnački, Stefan Edelkamp, Alberto Lluch Lafuente +1
These are the proceedings of the Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), which took place on April 5, 2014 in Grenoble, France, as a satellite…