TLC
From MaRDI portal
swMATH9530MaRDI QIDQ21511FDOQ21511
Author name not available (Why is that?)
Official website: http://research.microsoft.com/en-us/um/people/lamport/tla/tlc.html
Cited In (22)
- A case study on parametric verification of failure detectors
- A high-level language for modeling algorithms and their properties
- Replicated abstract data types: building blocks for collaborative applications
- Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
- Logoot
- Model checking simulation rules for linearizability
- A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
- A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
- The assignment problem
- IMITATOR
- PlusCal
- SNZI
- TLAPS
- DynamoDB
- Verdi
- A rigorous methodology for specification and verification of business processes
- Title not available (Why is that?)
- Unified temporal logic
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- The mailbox problem
- Ivy
- Directed Model Checking for B: An Evaluation and New Techniques
This page was built for software: TLC
