Verifying distributed systems with Isabelle/HOL
Martin Klepp
·
2022-10-12
·
via Martin Kleppmann's blog
This post also appears on Larry Paulson’s blog. We use distributed systems every day in the form of internet …
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。
