Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні моделі...
Saved in:
| Date: | 2008 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2008
|
| Series: | №1 |
| Subjects: | |
| 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: | Метод доведення властивостей програм в композиційно-номінативних мовах IPCL / Т.В. Панченко // Пробл. програмув. — 2008. — N 1. — С. 3-16. — Бібліогр.: 33 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного
виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з пере
ключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні
моделі, сформульовано два варіанти часткової коректності програм на введених композиційних мовах та запропоновано методологію верифікації, що включає метод з лінійною складністю замість
експоненційної. |
|---|