Перспективы интеграции методов верификации программного обеспечения
В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. Она же может стать а...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2009-01-01
|
| Series: | Труды Института системного программирования РАН |
| Online Access: | https://www.ispras.ru/en/proceedings/isp_16_2009/isp_16_2009_73/ |
| _version_ | 1818484704394870784 |
|---|---|
| author | В. В. Кулямин |
| author_facet | В. В. Кулямин |
| author_sort | В. В. Кулямин |
| collection | DOAJ |
| description | В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. Она же может стать аналогом испытательного стенда для апробации и отладки большого числа новых предлагаемых техник формальных верификации и статического анализа на разнообразном промышленном программном обеспечении. |
| first_indexed | 2024-12-10T15:58:24Z |
| format | Article |
| id | doaj.art-a5775cc09f314fde81cbf8be8457bc2e |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-12-10T15:58:24Z |
| publishDate | 2009-01-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-a5775cc09f314fde81cbf8be8457bc2e2022-12-22T01:42:34ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262009-01-01167388Перспективы интеграции методов верификации программного обеспеченияВ. В. КуляминВ статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. Она же может стать аналогом испытательного стенда для апробации и отладки большого числа новых предлагаемых техник формальных верификации и статического анализа на разнообразном промышленном программном обеспечении.https://www.ispras.ru/en/proceedings/isp_16_2009/isp_16_2009_73/ |
| spellingShingle | В. В. Кулямин Перспективы интеграции методов верификации программного обеспечения Труды Института системного программирования РАН |
| title | Перспективы интеграции методов верификации программного обеспечения |
| title_full | Перспективы интеграции методов верификации программного обеспечения |
| title_fullStr | Перспективы интеграции методов верификации программного обеспечения |
| title_full_unstemmed | Перспективы интеграции методов верификации программного обеспечения |
| title_short | Перспективы интеграции методов верификации программного обеспечения |
| title_sort | перспективы интеграции методов верификации программного обеспечения |
| url | https://www.ispras.ru/en/proceedings/isp_16_2009/isp_16_2009_73/ |
| work_keys_str_mv | AT vvkulâmin perspektivyintegraciimetodovverifikaciiprogrammnogoobespečeniâ |