Similar to 形式手法
Mizar
Mizar system
モデル検査
Model checkingラムダ計算
Lambda calculus/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
0
0▲1 trends
M系列
Maximum length sequence
アルゴリズム
Algorithm▼-1 trends
アルファベット (計算機科学)
Alphabet (formal languages)
形式的検証
Formal verification
述語変換意味論
Predicate transformer semantics
制約論理プログラミング
Constraint logic programming
双模倣性
Bisimulation
チューリングマシン
Turing machine
表明 (プログラミング)
Assertion (software development)
不動点コンビネータ
Fixed-point combinator
プログラム意味論
Semantics (computer science)
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
論理プログラミング
Logic programming
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
DPLLアルゴリズム
DPLL algorithm
Communicating Sequential Processes
Communicating sequential processesTLA+
TLA+
仕様記述言語
Specification language
Z言語
Z notation
KISSの原則
KISS principle