Lobsters
- The Dafny Programming and Verification Language https://dafny.org 12 comments programminglanguages
Linking pages
- Rustan Leino provides proof that software is bug-free - Amazon Science https://www.amazon.science/working-at-amazon/rustan-leino-provides-proof-that-software-is-bug-free 2 comments
- How we built Cedar with automated reasoning and differential testing - Amazon Science https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning-and-differential-testing 1 comment
- Knuckledragger: Experimenting with a Python Proof Assistant | Hey There Buddo! https://www.philipzucker.com/python-itp/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.