Skip to content

PL-ML/code2inv

Error
Looks like something went wrong!

About

Code2Inv: Learning Loop Invariants for Program Verification

Topics

program-verification graph-neural- loop-invariant-generation

Resources

Readme
Activity
Custom properties

Stars

96 stars

Watchers

8 watching

Forks

24 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 5

Languages