Category:形式手法
論理プログラミング
Logic programming
形式的検証
Formal verification
形式手法
Formal methods
DPLLアルゴリズム
DPLL algorithm
ペトリネット
Petri net
モデル検査
Model checking
抽象解釈
Abstract interpretation
形式仕様記述
Formal specification
ユニフィケーション
Unification (computer science)
仕様記述言語
Specification language
Planner
Planner (programming language)
並行制約プログラミング
Concurrent constraint logic programming
文字列書き換え系
Semi-Thue system
グレブナー基底
Gröbner basis
不変条件
Invariant (computer science)
制約論理プログラミング
Constraint logic programming
形式等価判定
Formal equivalence checking
ループ不変条件
Loop invariant
合流性
Confluence (abstract rewriting)構成規則
Formation rule
述語変換意味論
Predicate transformer semantics
詳細化
Refinement (computing)プログラミングの統一理論
Unifying Theories of Programming
仕様及び記述言語
Specification and Description Language
Communicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)TLA+
TLA+