Насколько формальны формальные методы?
В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и процедура синтеза системы инвариантов и ее оптимизации по некоторым критериям. Пр...
Saved in:
Date: | 2011 |
---|---|
Main Authors: | , , |
Format: | Article |
Language: | Russian |
Published: |
Інститут проблем математичних машин і систем НАН України
2011
|
Series: | Математичні машини і системи |
Subjects: | |
Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/83406 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Cite this: | Насколько формальны формальные методы? / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2011. — № 1. — С. 154-167. — Бібліогр.: 25 назв. — рос. |