Category:形式手法
チューリングマシン
Turing machine▲1 trends
充足可能性問題
Boolean satisfiability problem
形式的検証
Formal verification
静的コード解析
Static program analysis
Mizar
Mizar system
CICS
CICS
不動点コンビネータ
Fixed-point combinator
シークエント計算
Sequent calculus
並行論理プログラミング
Concurrent logic programming
SPINモデルチェッカ
SPIN model checker
形式仕様記述
Formal specification
合流性
Confluence (abstract rewriting)
Planner
Planner (programming language)
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)ラムダ計算
Lambda calculus
ビリヤードボール・コンピュータ
Billiard-ball computer
抽象解釈
Abstract interpretation
型付きラムダ計算
Typed lambda calculus
ペトリネット
Petri net
文字列書き換え系
Semi-Thue system
双模倣性
Bisimulation
形式等価判定
Formal equivalence checking構成規則
Formation rule
PlusCal
PlusCal
プログラミングの統一理論
Unifying Theories of Programming/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-MethodCommunicating Sequential Processes
Communicating sequential processes