Inferring inductive invariants from phase structures

DOI10.1007/978-3-030-25543-5_23arXiv1905.07739OpenAlexW2965215954MaRDI QIDQ6194958

Sharon Shoham, Yotam M. Y. Feldman, Mooly Sagiv, James R. Wilcox

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.07739

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Unnamed Item

This page was built for publication: Inferring inductive invariants from phase structures