swMATH4442MaRDI QIDQ16618FDOQ16618
Author name not available (Why is that?)
Official website: http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html
Cited In (52)
- Specifying reversibility with \(\mathrm{TLA}^+\)
- SAMC
- Predicate transformers for reasoning about concurrent computation
- The Temporal Logic of Rewriting: A Gentle Introduction
- CPO semantics of timed interactive actor networks
- How to write a 21\(^{\text{st}}\) century proof
- ASM refinement and generalizations of forward simulation in data refinement: a comparison
- Computer Aided Verification
- Neko
- Title not available (Why is that?)
- BuzzPSS
- D3S
- dBug
- DCatch
- DieCast
- Exalt
- umlsim
- Tutorial on parameterized model checking of fault-tolerant distributed algorithms
- Rule-based refinement of Petri nets: A survey
- Title not available (Why is that?)
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- HERMES
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
- OPBDP
- Gauss
- SATMC
- PlusCal
- SPLLIFT
- Distal
- Variability encoding: from compile-time to load-time variability
- Title not available (Why is that?)
- ByMC
- XASM
- OpenCourseWare
- XL: An XML programming language for web service specification and composition.
- Title not available (Why is that?)
- Minha: Large-scale distributed systems testing made practical
- PeerSim
- SCTL-MUS: A formal methodology for software development of distributed systems. A case study
- csp2B: A practical approach to combining CSP and B
- Designing a semantic model for a wide-spectrum language with concurrency
- Title not available (Why is that?)
- Computer Aided Verification
- DataFlasks
- ElasTest
- Minha
- SPLAY
- What you always wanted to know about model checking of fault-tolerant distributed algorithms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Engineering and theoretical underpinnings of retrenchment
- Real-time system = discrete system + clock variables
This page was built for software: TLA
