Hacker News
- Z3 - high-performance theorem prover (Microsoft Research) https://z3.codeplex.com/ 20 comments programming
Linking pages
- type-systems/refined_types at master · tomprimozic/type-systems · GitHub https://github.com/tomprimozic/type-systems/tree/master/refined_types 31 comments
- GitHub - REMath/literature_review: Survey of program analysis research with a focus on machine code https://github.com/REMath/literature_review 0 comments
- Ghost in the Shellcode 2015 — Blocky’s Revenge | by Quinn Wilton | Medium https://medium.com/@shanewilton/ghost-in-the-shellcode-2015-blockys-revenge-7074a119115e 0 comments
- Taming a wild nanomite-protected MIPS binary with symbolic execution: No Such Crackme https://doar-e.github.io/blog/2014/10/11/taiming-a-wild-nanomite-protected-mips-binary-with-symbolic-execution-no-such-crackme/ 0 comments
- Analyze Public .NET Code with Code Digger http://www.infoq.com/news/2013/04/code-digger 0 comments
- Josef Urban on Machine Learning and Automated Reasoning - Machine Intelligence Research Institute http://intelligence.org/2013/12/21/josef-urban-on-machine-learning-and-automated-reasoning/ 0 comments
- A vulnerability that was not - Joxean Koret http://joxeankoret.com/blog/2014/05/02/a-vulnerability-that-wasnt/ 0 comments
Related searches:
Search whole site: site:z3.codeplex.com
Search title: Z3: A high-performance theorem prover from Microsoft Research
See how to search.