This is a crowdsourcing effort for program verification. We use program verification to prove that a computer program meets its specification. Most programs are large and complex. Programmers write them with no correctness guarantees, hence we need verification. However, automated verification algorithms are having a hard time verifying programs - we need your help, human! To be part of this awesome effort, register now!
Programmers often have intuition about a program's goal or intentions. This intuition is invaluable in the verification process.
We use formal methods rooted in logic and program semantics to prove correctness properties of software.