GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → boogie-org → symdiff

boogie-org / symdiff

Licence: other
SymDiff-Differential-Program-Verifier

Programming Languages

c
50402 projects - #5 most used programming language
C#
18002 projects
perl
6916 projects
python
139335 projects - #7 most used programming language
Batchfile
5799 projects
Makefile
30231 projects

Labels

semantic-diffrelational-verificationregression-verification

Projects that are alternatives of or similar to symdiff

knowledge-graph-change-language
Tools for working with KGCL
Stars: ✭ 14 (-33.33%)
Mutual labels:  semantic-diff

SymDiff

SymDiff is a differential or relational program verifier for a pair of Boogie programs, with applications on regression verification, compiler translation validation and hyper-safety verification. More information can be found at SymDiff webpage

Instructions to get started: Documentation

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].