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

м
робот изменил: uk:Формальна верифікація; косметические изменения
м (робот изменил: uk:Формальна верифікація; косметические изменения)
* [[технологии доказательного программирования]]
 
== См. также ==
 
* [[Доказательное программирование]]
* [[Тестирование программного обеспечения]]
 
== Литература ==
 
* П.Грогоно, Программирование на языке Pascal, М.:Мир, 1982, с.295, (Тестирование и верификация).
[[sk:Verifikácia]]
[[sr:Верификација]]
[[uk:Формальна верифікація]]
[[uk:Верифікація формальна]]
[[zh:形式验证]]