TLAPS
From MaRDI portal
Software:21509
No author found.
Related Items (13)
Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications ⋮ A case study on parametric verification of failure detectors ⋮ Automatic Verification of TLA + Proof Obligations with SMT Solvers ⋮ Unnamed Item ⋮ Improving automation for higher-order proof steps ⋮ A deductive approach towards reasoning about algebraic transition systems ⋮ Certification of an exact worst-case self-stabilization time ⋮ Checking a Multithreaded Algorithm with + CAL ⋮ Fast Paxos ⋮ A High-Level Language for Modeling Algorithms and Their Properties ⋮ TLA + Proofs ⋮ How to write a 21\(^{\text{st}}\) century proof ⋮ Checking cache-coherence protocols with TLA\(^+\)
This page was built for software: TLAPS
