Category:形式手法
チューリングマシン
Turing machine
形式手法
Formal methods
充足可能性問題
Boolean satisfiability problem
自動定理証明
Automated theorem proving
時相論理
Temporal logic
VDM
Vienna Development Method
Z言語
Z notation
ループ不変条件
Loop invariant
SPINモデルチェッカ
SPIN model checker
自動推論
Automated reasoning
形式的検証
Formal verification
仕様記述言語
Specification language
ホーア論理
Hoare logic
並行論理プログラミング
Concurrent logic programming
仕様及び記述言語
Specification and Description Language
文字列書き換え系
Semi-Thue system
グレブナー基底
Gröbner basis
不動点コンビネータ
Fixed-point combinator
合流性
Confluence (abstract rewriting)
形式等価判定
Formal equivalence checking
並行制約プログラミング
Concurrent constraint logic programming
Mizar
Mizar system
プログラム意味論
Semantics (computer science)
型付きラムダ計算
Typed lambda calculus
DPLLアルゴリズム
DPLL algorithm
セーフティクリティカルシステム
Safety-critical systemPlusCal
PlusCal構成規則
Formation rule