Similar to B-Method

TLA+

Z notation

Alloy Analyzer

Specification and Description Language

Formal methods

PlusCal

Vienna Development Method

Formal specification

Specification language

Semantics (computer science)

Process calculus

Petri net

Model checking

Lambda calculus

Object Constraint Language

GNU Autotools

Japanese minesweeper No. 7 (1938)

Japanese minesweeper No. 8 (1938)

Japanese minesweeper No. 10 (1938)

12th SS Panzer Division Hitlerjugend