Hacker News
- Z3 SMT solver interactive tutorial http://rise4fun.com/z3/tutorial/guide 14 comments
- Rise4fun - from Microsoft Research http://www.rise4fun.com/ 40 comments
- Dafny: A Language and Program Verifier for Functional Correctness http://rise4fun.com/dafny 21 comments programming
- Koka - a "function"-oriented language with side-effect inteference http://www.rise4fun.com/koka/tutorial 17 comments haskell
Linking pages
- GitHub - REMath/literature_review: Survey of program analysis research with a focus on machine code https://github.com/REMath/literature_review 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments