「形式的検証」の版間の差分

m
m (wikify)
==関連項目==
*[[形式等価判定]]
*[[Property Specification Language]]
*[[プロパティ記述言語]]
*[[静的コード解析]]
*[[自動定理証明]]
25,487

回編集