Similar to ギルモアのアルゴリズム

Alexander's theorem

Menelaus of Alexandria

Pavel Alexandrov

Alexandroff extension

Specification and Description Language

Formal methods

CICS

Communicating sequential processes

Guarded Command Language

Lustre (programming language)

Planner (programming language)

PlusCal

TLA+

Vienna Development Method

Proof of concept

Typed lambda calculus

Formal specification

Formal verification

Formal equivalence checking

Automated theorem proving

Boolean satisfiability problem

Predicate transformer semantics

Specification language

Refinement (computing)

SPIN model checker

Static program analysis

Z notation

Bisimulation