Category:形式手法
ペトリネット
Petri net
時相論理
Temporal logic
プロセス計算
Process calculus
導出原理
Resolution (logic)
仕様記述言語
Specification language
CICS
CICS
ループ不変条件
Loop invariant
有限オートマトン
Finite-state machine
不変条件
Invariant (computer science)
形式的検証
Formal verification
文字列書き換え系
Semi-Thue system
形式手法
Formal methods
並行制約プログラミング
Concurrent constraint logic programming
PlusCal
PlusCal
形式等価判定
Formal equivalence checking/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method構成規則
Formation rule
プログラミングの統一理論
Unifying Theories of Programming
仕様及び記述言語
Specification and Description LanguageCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)TLA+
TLA+
ギルモアのアルゴリズム
制約論理プログラミング
Constraint logic programming
表明 (プログラミング)
Assertion (software development)
自己認識論理
Autoepistemic logic
VDM
Vienna Development Method