Similar to 形式体系
静的コード解析
Static program analysis
Z言語
Z notation
双模倣性
Bisimulation
抽象解釈
Abstract interpretation
チューリングマシン
Turing machine▲1 trends
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
不変条件
Invariant (computer science)
プログラム意味論
Semantics (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
ペトリネット
Petri net
ホーア論理
Hoare logic
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)
ループ不変条件
Loop invariantセーフティクリティカルシステム
Safety-critical system
公理
Axiom推論規則
Rule of inference
Wikipedia:井戸端/subj/芸能人の本名は原則非記載とすべきでは
Wikipedia:井戸端/subj/権利関係が不明な写真の添付
Wikipedia:井戸端/subj/テレビ局の制作スタッフなどの記事は不適当では?
Wikipedia:井戸端/subj/ウィキペディア日本語版の会計情報
Wikipedia:井戸端/subj/文字の画像の著作権
Wikipedia:井戸端/subj/出典の適格性