notesum.ai

Published at December 9

A Program Instrumentation Framework for Automatic Verification

cs.LO

Released Date: December 9, 2024

Authors: Jesper Amilon1, Zafer Esen2, Dilian Gurov1, Christian Lidström1, Philipp Rümmer2, Marten Voorberg1

Aff.: 1KTH Royal Institute of Technology; 2Uppsala University

Arxiv: http://arxiv.org/pdf/2412.06431v1