Hacker News
- You Already Know Formal Methods https://galois.com/blog/2021/10/you-already-know-formal-methods/ 13 comments
Lobsters
- You Already Know Formal Methods https://galois.com/blog/2021/10/you-already-know-formal-methods/ 2 comments formalmethods
- You Already Know Formal Methods https://galois.com/blog/2021/10/you-already-know-formal-methods/ 2 comments programming
Linked pages
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- Software Foundations https://softwarefoundations.cis.upenn.edu/ 61 comments
- Lean http://leanprover.github.io 46 comments
- The TLA+ Home Page http://lamport.azurewebsites.net/tla/tla.html 32 comments
- SAW http://saw.galois.com 18 comments
- Dafny: A Language and Program Verifier for Functional Correctness - Microsoft Research https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness/ 1 comment
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:galois.com
Search title: You Already Know Formal Methods - Galois, Inc.
See how to search.