Similar to B-Method
第十四号掃海艇
第十五号掃海艇
第十七号掃海艇
第十八号掃海艇
第21SS武装山岳師団
21st Waffen Mountain Division of the SS Skanderbeg
第29SS武装擲弾兵師団
29th Waffen Grenadier Division of the SS (1st Italian)
第36SS武装擲弾兵師団
Dirlewanger Brigade
第百九号哨戒艇
Call Level Interface
Call Level Interface
0
0▼-1 trends
1048576
1048576
CICS
CICSGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム
グレブナー基底
Gröbner basis
形式体系
Formal system
形式的検証
Formal verification
形式等価判定
Formal equivalence checking
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
時相論理
Temporal logic