Theory refinement for program verification
From MaRDI portal
Publication:1680264
DOI10.1007/978-3-319-66263-3_22zbMath1496.68191DBLPconf/sat/HyvarinenAMFCS17OpenAlexW2742433495WikidataQ57699293 ScholiaQ57699293MaRDI QIDQ1680264
Hana Chockler, Karine Even-Mendoza, Natasha Sharygina, Grigory Fedyukovich, Antti E. J. Hyvärinen, Sepideh Asadi
Publication date: 15 November 2017
Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/theory-refinement-for-program-verification(f9107970-6b01-4d40-afcb-bc92984e606a).html
Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
This page was built for publication: Theory refinement for program verification