Hacker News
- Formal Verification Tool Competitions https://alastairreid.github.io/verification-competitions/ 12 comments
Linked pages
- MiniZinc https://www.minizinc.org/ 129 comments
- Rosetta Code http://rosettacode.org/wiki/Rosetta_Code 44 comments
- SAT Competitions http://www.satcompetition.org/ 16 comments
- GitHub - hwayne/lets-prove-leftpad: Proving leftpad correct in a dozen different ways https://github.com/hwayne/lets-prove-leftpad 16 comments
- SyGuS http://sygus.org 1 comment
- SMT-LIB The Satisfiability Modulo Theories Library http://smtlib.cs.uiowa.edu/index.shtml 0 comments
- Proof Ground 2021 https://www21.in.tum.de/~wimmers/proofground/ 0 comments
- GitHub - lemmy/lets-prove-blocking-queue: Proving a blocking queue deadlock free in a dozen different ways https://github.com/lemmy/lets-prove-blocking-queue 0 comments
Related searches:
Search whole site: site:alastairreid.github.io
Search title: Verification Competitions – Alastair Reid – Researcher at Intel
See how to search.