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

m
ボット: 言語間リンク 17 件をウィキデータ上の (d:Q173326 に転記)
m (ボット: 言語間リンク 17 件をウィキデータ上の (d:Q173326 に転記))
[[Category:形式手法]]
[[Category:数学に関する記事]]
 
[[cs:Formální verifikace]]
[[da:Verifikation (bekræftelse)]]
[[de:Verifizierung]]
[[el:Τυπική επαλήθευση]]
[[en:Formal verification]]
[[es:Verificación formal]]
[[fr:Vérification formelle]]
[[he:אימות תוכנה]]
[[lt:Verifikacija]]
[[no:Verifikasjon]]
[[pl:Weryfikacja formalna]]
[[pt:Verificação formal]]
[[ru:Формальная верификация]]
[[sk:Verifikácia]]
[[sr:Верификација]]
[[uk:Формальна верифікація]]
[[zh:形式验证]]
671,241

回編集