TLAPS
From MaRDI portal
Cited in
(18)- IMITATOR
- A deductive approach towards reasoning about algebraic transition systems
- Checking cache-coherence protocols with TLA\(^+\)
- Fast Paxos
- TLC
- FOOL
- Certification of an exact worst-case self-stabilization time
- Automatic verification of TLA\(^{ + }\) proof obligations with SMT solvers
- A high-level language for modeling algorithms and their properties
- Checking a Multithreaded Algorithm with + CAL
- DiskPaxos
- TLA + Proofs
- scientific article; zbMATH DE number 1390334 (Why is no real title available?)
- Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
- A case study on parametric verification of failure detectors
- Ivy
- How to write a 21\(^{\text{st}}\) century proof
- Improving automation for higher-order proof steps
This page was built for software: TLAPS
