Gradual Program Verification

DOI10.1007/978-3-319-73721-8_2zbMath1446.68087OpenAlexW2780724869MaRDI QIDQ3296319

Johannes Bader, Jonathan Aldrich, Éric Tanter

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Linear capabilities for fully abstract compilation of separation-logic-verified code

Uses Software

• Unnamed Item

This page was built for publication: Gradual Program Verification