Формальная верификация: различия между версиями

м
Перемещение 17 интервики-ссылок в Викиданные (d:Q173326)
м (Перемещение 17 интервики-ссылок в Викиданные (d:Q173326))
[[Категория:Информатика]]
[[Категория:Формальные методы]]
 
[[cs:Formální verifikace]]
[[da:Verifikation (bekræftelse)]]
[[de:Verifizierung]]
[[el:Τυπική επαλήθευση]]
[[en:Formal verification]]
[[es:Verificación formal]]
[[fr:Vérification formelle]]
[[he:אימות תוכנה]]
[[ja:形式的検証]]
[[lt:Verifikacija]]
[[no:Verifikasjon]]
[[pl:Weryfikacja formalna]]
[[pt:Verificação formal]]
[[sk:Verifikácia]]
[[sr:Верификација]]
[[uk:Формальна верифікація]]
[[zh:形式验证]]
1 308 489

правок