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