TLC
From MaRDI portal
Software:21511
swMATH9530MaRDI QIDQ21511FDOQ21511
Author name not available (Why is that?)
Cited In (14)
- A case study on parametric verification of failure detectors
- Replicated abstract data types: building blocks for collaborative applications
- Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
- 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
- A High-Level Language for Modeling Algorithms and Their Properties
- 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
- Model Checking Simulation Rules for Linearizability
- Directed Model Checking for B: An Evaluation and New Techniques
This page was built for software: TLC
