CLN2INV

MaRDI QIDQ1354233swMATHFDO

Official website https://arxiv.org/abs/1909.11542

Source code repository https://github.com/gryan11/cln2inv

Cited in

(4)

• Toward neural-network-guided program synthesis and verification
• Code2Inv: a deep learning framework for program verification
• nncontroller
• Code2Inv

This page was built for software: CLN2INV