TLC

MaRDI QIDQ21511swMATHFDO

Official website http://research.microsoft.com/en-us/um/people/lamport/tla/tlc.html

Cited in

(23)

• A case study on parametric verification of failure detectors
• Replicated abstract data types: building blocks for collaborative applications
• A high-level language for modeling algorithms and their properties
• Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
• Model checking simulation rules for linearizability
• A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
• The assignment problem
• A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
• CLPS-B
• IMITATOR
• PlusCal
• SNZI
• TLAPS
• DynamoDB
• Verdi
• Logoot
• A rigorous methodology for specification and verification of business processes
• Ivy
• scientific article; zbMATH DE number 1670759 (Why is no real title available?)
• Unified temporal logic
• Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
• The mailbox problem
• Directed Model Checking for B: An Evaluation and New Techniques

This page was built for software: TLC