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