Category:形式手法
有限オートマトン
Finite-state machine
充足可能性問題
Boolean satisfiability problem
グレブナー基底
Gröbner basisラムダ計算
Lambda calculus
プロセス計算
Process calculus
形式的検証
Formal verification
ホーア論理
Hoare logic
プログラム意味論
Semantics (computer science)
静的コード解析
Static program analysis
概念実証
Proof of concept
形式仕様記述
Formal specification
DPLLアルゴリズム
DPLL algorithm
仕様記述言語
Specification language
ループ不変条件
Loop invariant
シークエント計算
Sequent calculus
項書き換え
Rewriting
不動点コンビネータ
Fixed-point combinator
自動定理証明
Automated theorem proving
SPINモデルチェッカ
SPIN model checker文字列書き換え系
Semi-Thue system
形式等価判定
Formal equivalence checking
並行制約プログラミング
Concurrent constraint logic programming
ユニフィケーション
Unification (computer science)
不変条件
Invariant (computer science)
VDM
Vienna Development Method
仕様及び記述言語
Specification and Description Language
PlusCal
PlusCal構成規則
Formation rule