TLA
From MaRDI portal
Cited in
(53)- Specifying reversibility with \(\mathrm{TLA}^+\)
- Predicate transformers for reasoning about concurrent computation
- CPO semantics of timed interactive actor networks
- The Temporal Logic of Rewriting: A Gentle Introduction
- How to write a 21\(^{\text{st}}\) century proof
- ASM refinement and generalizations of forward simulation in data refinement: a comparison
- Computer Aided Verification
- scientific article; zbMATH DE number 1956481 (Why is no real title available?)
- Tutorial on parameterized model checking of fault-tolerant distributed algorithms
- Rule-based refinement of Petri nets: A survey
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- HERMES
- scientific article; zbMATH DE number 1705164 (Why is no real title available?)
- SCTL-MUS
- OPBDP
- Gauss
- SATMC
- PlusCal
- SPLLIFT
- Distal
- ByMC
- XASM
- OpenCourseWare
- PeerSim
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
- Variability encoding: from compile-time to load-time variability
- scientific article; zbMATH DE number 1670507 (Why is no real title available?)
- XL: An XML programming language for web service specification and composition.
- Neko
- BuzzPSS
- D3S
- dBug
- DCatch
- DieCast
- Exalt
- umlsim
- scientific article; zbMATH DE number 7650869 (Why is no real title available?)
- Minha: Large-scale distributed systems testing made practical
- SAMC
- Designing a semantic model for a wide-spectrum language with concurrency
- SCTL-MUS: A formal methodology for software development of distributed systems. A case study
- csp2B: A practical approach to combining CSP and B
- scientific article; zbMATH DE number 734956 (Why is no real title available?)
- DataFlasks
- ElasTest
- Minha
- SPLAY
- Computer Aided Verification
- What you always wanted to know about model checking of fault-tolerant distributed algorithms
- scientific article; zbMATH DE number 1318522 (Why is no real title available?)
- Engineering and theoretical underpinnings of retrenchment
- scientific article; zbMATH DE number 1639446 (Why is no real title available?)
- Real-time system = discrete system + clock variables
This page was built for software: TLA
