Counterexample-Guided Inference of Modular Specifications

Open Webpage

William T. Hallahan, Ranjit Jhala, Ruzica Piskac

Published: 2025, Last Modified: 08 May 2026Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0