enzet/symbolic-execution

Readme
Issues
Stargazers
Watchers

Add Simplify solver

enzet opened this issue 6 years ago · 0 comments

enzet commented 6 years ago

See Simplify: A Theorem Prover for Program Checking.

Thanks to Vijay Ganesh.

Topics

dynamic-symbolic-execution symbolic-execution history timeline concolic-execution concolic program-analysis dynamic-analysis solving

Share to

Contact site admin: Geeks.