Тарасюк, О.М.; Горбенко, А.В.; Харченко, В.С.
(Математичні машини і системи, 2011)
В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и ...