Skip to content

Changes

Page history
Update home authored by Michael Hanus's avatar Michael Hanus
Show whitespace changes
Inline Side-by-side
home.md
View page @ bc87a0cc
...@@ -50,6 +50,7 @@ TicTacToe implementation in ReasonML. ...@@ -50,6 +50,7 @@ TicTacToe implementation in ReasonML.
### SMT ### SMT
* [Z3 SMT-Solver](https://github.com/Z3Prover/z3) and [Z3 Guide and Tutorial](https://rise4fun.com/Z3/tutorial/) * [Z3 SMT-Solver](https://github.com/Z3Prover/z3) and [Z3 Guide and Tutorial](https://rise4fun.com/Z3/tutorial/)
* [SMT-LIB standard](http://www.smtlib.org/)
* [sbv](http://leventerkok.github.io/sbv/): SMT library for Haskell * [sbv](http://leventerkok.github.io/sbv/): SMT library for Haskell
* [TIP](http://tip-org.github.io): project that translates Haskell programs into an intermediate language TIP * [TIP](http://tip-org.github.io): project that translates Haskell programs into an intermediate language TIP
* [A gentle introduction to symbolic execution](https://blog.monic.co/a-gentle-introduction-to-symbolic-execution/): a blog post about symbolic execution of Haskell programs * [A gentle introduction to symbolic execution](https://blog.monic.co/a-gentle-introduction-to-symbolic-execution/): a blog post about symbolic execution of Haskell programs
......