jarsp / verifast Goto Github PK
View Code? Open in Web Editor NEWThis project forked from verifast/verifast
Research prototype tool for modular formal verification of C and Java programs
Home Page: https://people.cs.kuleuven.be/~bart.jacobs/verifast/
License: Other