thingsaurus
This is a 'thesaurus for things' or similarity engine: results show things that have something in common with what you enter. The more stars, the more things in common! You can use it for research, recommendations or simply to explore ideas and related subjects.
Here are your results for TLA+...
Stars indicate closer matches.
B-Method 
- Construction and Analysis of Distributed Processes
- E-LOTOS
- Language Of Temporal Ordering Specification
- Alloy (specification language)
- CoreASM
- ESC/Java
- Perfect Developer
- Rigorous Approach to Industrial Software Engineering
- Rodin tool
- Liquid Haskell
- Augmented marked graph
- Nets within Nets
- Petri net
- Stochastic Petri net
- Vector addition system
- Object-Z
- Z notation
- Concurrency semantics
- Kim Guldstrand Larsen
- Formal methods
- Knowledge Based Software Assistant
- Algebraic semantics (computer science)
- Formal specification
- PlusCal
- Predicative programming
- Refinement calculus
- Semantics (computer science)
- Vienna Development Method
- Alt-Ergo
- Atelier B
- B-Toolkit
- C Bounded Model Checker
- CPAchecker
- CPN-AMI
- Fastest
- Fluctuat
- Frama-C
- KeY
- MALPAS Software Static Analysis Toolset
- List of model checking tools
- Solver
- SPARK Toolset
- Concurrency (computer science)
- ABA problem
- Active object
- Balking pattern
- Barrier (computer science)
- Channel system (computer science)
- Chord (concurrency)
Popular: 7 Reims 2024 Lists of horror films Theme from New York, New York
Random: River Rea Salome (daughter of Herod the Great) Pigge Darkness (2002 film) Acheron
[beta] © 2025 • Data source: Wikipedia • Created by this chap