Liquid Types for Array Invariant Synthesis

DOI10.1007/978-3-319-68167-2_20zbMATH Open1495.68138OpenAlexW2759434055MaRDI QIDQ5096090

Clara Segura, Susana Nieva, Manuel Montenegro, Ricardo Peña

Publication date: 12 August 2022

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-68167-2_20

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Liquid Types for Array Invariant Synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096090)