CLN2INV

swMATH41069MaRDI QIDQ1354233FDOQ1354233

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: CLN2INV