Code2Inv: a deep learning framework for program verification

DOI10.1007/978-3-030-53291-8_9MaRDI QIDQ2226732zbMATH OpenOpenAlexFDO

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

Publication date 9 February 2021

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

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

Recommendations

• Toward neural-network-guided program synthesis and verification
• PML2: integrated program verification in ML
• Theorem Proving in Higher Order Logics
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Theorem Proving in Higher Order Logics

Cited in

(7)

• Toward neural-network-guided program synthesis and verification
• Syntax-guided synthesis for lemma generation in hardware model checking
• Predicting program properties from ``big code
• Theorem Proving in Higher Order Logics
• Code2Inv
• Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes
• When GNNs met a word equations solver: learning to rank equations

Describes a project that uses

Uses Software

• CIL
• CLN2INV
• SeaHorn
• z3

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2226732)