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