Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann - discu.eu

Hacker News

Verifying distributed systems with Isabelle/HOL https://lawrencecpaulson.github.io/2022/10/12/verifying-distributed-systems-isabelle.html 18 comments 12/10/2022

Lobsters

Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann https://lawrencecpaulson.github.io/2022/10/12/verifying-distributed-systems-isabelle.html 7 comments 12/10/2022 distributed , formalmethods , ml

Linking pages

armstrong-distributed-systems/erlang-is-not-about.md at main · stevana/armstrong-distributed-systems · GitHub https://github.com/stevana/armstrong-distributed-systems/blob/main/docs/erlang-is-not-about.md 302 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:lawrencecpaulson.github.io

Search title: Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann

See how to search.

Submit link to: