Code2Inv: a deep learning framework for program verification

DOI10.1007/978-3-030-53291-8_9zbMath1478.68177OpenAlexW3042261571MaRDI QIDQ2226732

Xujie Si, Mayur Naik, Aaditya Naik, Hanjun Dai, Le Song

Publication date: 9 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53291-8_9

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Syntax-guided synthesis for lemma generation in hardware model checking ⋮ Code2Inv

Uses Software

• z3
• SeaHorn
• CIL
• CLN2INV

This page was built for publication: Code2Inv: a deep learning framework for program verification