Adam Sampson's proof bookmarkshttps://bookmarks.offog.org/ats/proofAdam Sampson2017-02-10T14:21:31ZSoftware Foundationshttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.cis.upenn.edu%2F%7Ebcpierce%2Fsf%2Fcurrent%2F2017-02-10T14:21:31ZPractical proof in programming; based on Coq. Full text of the book available online.Language-theoretic Securityhttps://bookmarks.offog.org/edit?url=http%3A%2F%2Flangsec.org%2F2015-01-03T18:34:17Z"The Language-theoretic approach (LANGSEC) regards the Internet insecurity epidemic as a consequence of ad hoc programming of input handling at all layers of network stacks, and in other kinds of software stacks." Some interesting work, although it's obviously focussing on one class of problem...Welcome to the Tricki | Trickihttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.tricki.org%2F2013-02-20T14:16:37ZA well-organised collection of mathematical proof tricks -- e.g. if you're trying to prove that two things are equal, or prove for all X, then this provides a collection of techniques you can use. If it had names it'd be a pattern catalogue.