notesum.ai

Published at November 22

Automatic Inference of Relational Object Invariants

cs.PL

Released Date: November 22, 2024

Authors: Yusen Su¹, Jorge A. Navas², Arie Gurfinkel¹, Isabel Garcia-Contreras³

Aff.: ¹Department of Electrical and Computer Engineering, University of Waterloo; ²Certora Inc.; ³Department of Electrical and Computer Engineering, University of Waterloo; Black Duck Software, Inc.

Arxiv: http://arxiv.org/abs/2411.14735v1