TLC

MaRDI QIDQ21511swMATHFDO

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

Cited in

(23)

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

This page was built for software: TLC