Category:形式手法
ラムダ計算
Lambda calculus
ペトリネット
Petri net
CICS
CICS
形式体系
Formal system
双模倣性
Bisimulation
文字列書き換え系
Semi-Thue system
形式等価判定
Formal equivalence checking
並行制約プログラミング
Concurrent constraint logic programming
PlusCal
PlusCal構成規則
Formation rule項書き換え
Rewriting
Planner
Planner (programming language)
プログラミングの統一理論
Unifying Theories of ProgrammingCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)TLA+
TLA+
ギルモアのアルゴリズム
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
自己認識論理
Autoepistemic logic
並行論理プログラミング
Concurrent logic programming
詳細化
Refinement (computing)
合流性
Confluence (abstract rewriting)
不動点コンビネータ
Fixed-point combinator/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Methodセーフティクリティカルシステム
Safety-critical system