ocramz, 22 days ago lfg #smt #formalmethods #haskell
lfg #smt #formalmethods #haskell
ocramz, 19 days ago I'm using sbv with #z3 , It Just Works ! Now for the actually hard part, figuring out my program invariants 🙃#formalmethods #formalverification #haskell
I'm using sbv with #z3 , It Just Works ! Now for the actually hard part, figuring out my program invariants 🙃#formalmethods #formalverification #haskell
Add comment