Theory refinement for program verification

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

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)

Lattice-based refinement in bounded model checking

This page was built for publication: Theory refinement for program verification