TLA

swMATH4442MaRDI QIDQ16618

No author found.

Related Items (28)

Predicate transformers for reasoning about concurrent computation ⋮ What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms ⋮ Unnamed Item ⋮ Computer Aided Verification ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Designing a semantic model for a wide-spectrum language with concurrency ⋮ Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API ⋮ Unnamed Item ⋮ XL: An XML programming language for web service specification and composition. ⋮ The Temporal Logic of Rewriting: A Gentle Introduction ⋮ Variability encoding: from compile-time to load-time variability ⋮ Unnamed Item ⋮ A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms ⋮ Specifying reversibility with \(\mathrm{TLA}^+\) ⋮ Rule-Based Refinement of Petri Nets: A Survey ⋮ Minha: Large-scale distributed systems testing made practical ⋮ CPO semantics of timed interactive actor networks ⋮ Unnamed Item ⋮ How to write a 21\(^{\text{st}}\) century proof ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ csp2B: A practical approach to combining CSP and B ⋮ ASM refinement and generalizations of forward simulation in data refinement: a comparison ⋮ SCTL-MUS: A formal methodology for software development of distributed systems. A case study ⋮ Engineering and theoretical underpinnings of retrenchment ⋮ Unnamed Item ⋮ Computer Aided Verification ⋮ Real-time system = discrete system + clock variables

This page was built for software: TLA