Boogie

icon indicating a website link http://research.microsoft.com/en-us/projects/boogie/

icon location Organisation for Microsoft Research's Boogie IVL and related projects

Results 2 repositories owned by Boogie

symbooglix

27
Stars
4
Forks
Watchers

Symbolic Execution Engine for Boogie

verified publisher icon boogie-org

symdiff

27
Stars
6
Forks
Watchers

SymDiff-Differential-Program-Verifier

verified publisher icon boogie-org