Similar to 並行制約プログラミング
形式仕様記述
Formal specification
形式等価判定
Formal equivalence checking
自動定理証明
Automated theorem proving
充足可能性問題
Boolean satisfiability problem
仕様記述言語
Specification language
詳細化
Refinement (computing)
SPINモデルチェッカ
SPIN model checker
静的コード解析
Static program analysis
Z言語
Z notation
抽象解釈
Abstract interpretation
ビリヤードボール・コンピュータ
Billiard-ball computer
不変条件
Invariant (computer science)
プログラミングの統一理論
Unifying Theories of Programming
ペトリネット
Petri net
ホーア論理
Hoare logic
文字列書き換え系
Semi-Thue system
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ループ不変条件
Loop invariantセーフティクリティカルシステム
Safety-critical system
人工知能
Artificial intelligenceTemplate:主な人工知能
Template:Generative AI
Template:人工知能による存亡リスク
Template:Existential risk from artificial intelligence
生成的人工知能の一覧
AI JIMY Converter
AI JIMY Paperbot
AIセーフティ
AI safetyApple Intelligence
Apple Intelligence