Строгие математические и логические методы проверки правильности и свойств программного обеспечения без его выполнения на машине.
Статей пока нет. Будьте первым!