Similar to 詳細化

Specification and Description Language

B-Method

Formal verification

Static program analysis

Z notation

Unifying Theories of Programming

Hoare logic

Business Process Execution Language

Formal methods

CICS

Communicating sequential processes

DPLL algorithm

Guarded Command Language

Lustre (programming language)

Planner (programming language)

PlusCal

TLA+

Vienna Development Method

Proof of concept

Typed lambda calculus

Gröbner basis

Formal specification

Formal system

Formal equivalence checking

Rewriting