Category:形式手法
グレブナー基底
Gröbner basis
ペトリネット
Petri net
抽象解釈
Abstract interpretation
VDM
Vienna Development Method
時相論理
Temporal logic
双模倣性
Bisimulation
Mizar
Mizar system
詳細化
Refinement (computing)
プロセス計算
Process calculus
形式仕様記述
Formal specification
ビリヤードボール・コンピュータ
Billiard-ball computer
並行論理プログラミング
Concurrent logic programming
型付きラムダ計算
Typed lambda calculus
SPINモデルチェッカ
SPIN model checker
仕様及び記述言語
Specification and Description Language
Planner
Planner (programming language)
Z言語
Z notation
導出原理
Resolution (logic)
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
並行制約プログラミング
Concurrent constraint logic programming
文字列書き換え系
Semi-Thue system構成規則
Formation rule
PlusCal
PlusCal
プログラミングの統一理論
Unifying Theories of ProgrammingCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)