Similar to 形式的検証
Mizar
Mizar system
M系列
Maximum length sequence
アルゴリズム
Algorithm
形式手法
Formal methods
述語変換意味論
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
モデル検査
Model checkingラムダ計算
Lambda calculus
論理プログラミング
Logic programming
DPLLアルゴリズム
DPLL algorithm
仕様及び記述言語
Specification and Description Language
詳細化
Refinement (computing)
静的コード解析
Static program analysis
Z言語
Z notationプログラミングの統一理論
Unifying Theories of Programming
ホーア論理
Hoare logic
有限オートマトン
Finite-state machine
0
0
1
1▲1 trends
2
2
3
3