Cover Image

Верификация программ: состояние, проблемы, экспериментальные результаты. I

Представлен углубленный обзор проблем верификации программного обеспечения. Рассмотрены методы верификации реактивных и функциональных систем. Даны основные определения для представления и анализа программ. Приведено краткое описание методов верхней и нижней аппроксимации....

Full description

Saved in:
Bibliographic Details
Published in:Проблеми програмування
Date:2013
Main Author: Максимец, А.Н.
Language:Russian
Published: Інститут програмних систем НАН України 2013
Subjects:
Верифікація програм
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/86693
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:Верификация программ: состояние, проблемы, экспериментальные результаты. I / А.Н. Максимец // Проблеми програмування. — 2013. — № 4. — С. 53-63. — Бібліогр.: 33 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Similar Items