О книге:
Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 15 лекций, сопровождаемых вопросами для самопроверки и...
mary knitting
александр камкин
введение в формальные методы верификации программдедуктивныйанализпрограмм
использование формальных методов в тестировании
плавки "геометрия"