Similar to B-Method

TLA+

Z notation

Alloy Analyzer

Specification and Description Language

Formal methods

Communicating sequential processes

DPLL algorithm

PlusCal

Vienna Development Method

Formal specification

Specification language

Semantics (programming languages)

Process calculus

Petri net

Model checking

Lambda calculus

Object Constraint Language

Computer-aided design

Courant–Friedrichs–Lewy condition

Code Reading

Japanese minesweeper No. 7 (1938)