Invariant synthesis for incomplete verification engines

DOI10.1007/978-3-319-89960-2_13zbMath1423.68108OpenAlexW2962805785MaRDI QIDQ2324217

Pranav Garg, Daejun Park, P. Madhusudan, Shambwaditya Saha, Daniel Neider

Publication date: 16 September 2019

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

Mathematics Subject Classification ID

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

Related Items (1)

A learning-based approach to synthesizing invariants for incomplete verification engines

This page was built for publication: Invariant synthesis for incomplete verification engines