TLC
From MaRDI portal
Software:21511
No author found.
Related Items (14)
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 ⋮ Model Checking Simulation Rules for Linearizability ⋮ Unified temporal logic ⋮ Unnamed Item ⋮ Replicated abstract data types: building blocks for collaborative applications ⋮ The mailbox problem ⋮ Directed Model Checking for B: An Evaluation and New Techniques ⋮ A High-Level Language for Modeling Algorithms and Their Properties ⋮ The assignment problem ⋮ A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol ⋮ A Reduction Theorem for the Verification of Round-Based Distributed Algorithms ⋮ A rigorous methodology for specification and verification of business processes
This page was built for software: TLC
