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