P Framework: Formal Modeling and Analysis for Distributed Systems
P is a state machine-based language for formally modeling distributed systems, used by AWS and Microsoft for verificatio...
标签索引
modeling
这个标签下有 2 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
TLA+ Modeling Essentials: The Art of Building Reliable Systems
Master TLA+ modeling techniques to build reliable systems. Learn core principles, temporal logic, and effective model ch...