Hacker News
- Spin: Formal verification of multi-threaded code https://spinroot.com/spin/whatispin.html 0 comments
- Verifying Multi-threaded Software with Spin http://spinroot.com/spin/whatispin.html 5 comments
Linking pages
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Finding Goroutine Bugs with TLA+ • Hillel Wayne https://www.hillelwayne.com/post/tla-golang/ 46 comments
- Knossos: Redis and linearizability http://aphyr.com/posts/309-knossos-redis-and-linearizability 17 comments
- Designing Distributed Systems with TLA+ • Hillel Wayne https://www.hillelwayne.com/talks/distributed-systems-tlaplus/ 7 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- Practical software verification using SPIN - Carpe diem (Felix's blog) http://www.idryman.org/blog/2012/04/10/practical-software-verification-using-SPIN/ 0 comments
Related searches:
Search whole site: site:spinroot.com
Search title: Spin: Formal verification of multi-threaded code
See how to search.