Формальные спецификации в технологиях обратной инженерии и верификации программ.

KVEST (Kernel Verification and Specification Technology) – технология спецификации и верификации программного обеспечения, основанная на автоматизированной генерации тестов из формальных спецификаций. Эта технология была разработана в рамках контракта с Nortel Networks и базируется на опыте, получен...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2000-01-01
Online Access:	https://www.ispras.ru/proceedings/isp_1_2000/isp_1_2000_39/