CLN2INV

swMATH41069MaRDI QIDQ1354233FDOQ1354233

Author name not available (Why is that?)

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

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

Cited In (4)

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

This page was built for software: CLN2INV