dc.contributor.author |
Мұқанова, Айкүн Сабитқызы |
|
dc.date.accessioned |
2023-12-04T10:44:43Z |
|
dc.date.available |
2023-12-04T10:44:43Z |
|
dc.date.issued |
2023 |
|
dc.identifier.isbn |
978-601-337-871-8 |
|
dc.identifier.uri |
http://rep.enu.kz/handle/enu/10691 |
|
dc.description.abstract |
Программное обеспечение играет важную роль в современном мире,
корректность и безопасность программного кода являются ключевыми аспектами, которые нужно
учитывать при разработке программных систем. В связи с этим все большую популярность
получают формальные методы верификации, которые позволяют доказывать корректность
программного кода математически. Одним из инструментов для формальной верификации
является язык программирования Frama-C, который предназначен для анализа и верификации
программных систем на языке C. Frama-C позволяет проводить статический анализ программного
кода и доказывать его корректность с помощью формальных методов. Целью данной статьи
является рассмотрение принципов работы языка Frama-C и его применения для анализа и
верификации программного кода на языке C. Будут рассмотрены основные концепции Frama-C, а
также пример его применения для анализа корректности и безопасности программного кода. |
ru |
dc.language.iso |
other |
ru |
dc.publisher |
Евразийский национальный университет имени Л.Н. Гумилева |
ru |
dc.subject |
формальные методы |
ru |
dc.subject |
верификация |
ru |
dc.subject |
программные системы |
ru |
dc.subject |
язык FramaC |
ru |
dc.subject |
корректность ПО |
ru |
dc.subject |
безопасность |
ru |
dc.title |
ФОРМАЛЬНЫЕ МЕТОДЫ ВЕРИФИКАЦИИ ПРОГРАММНЫХ СИСТЕМ НА ПРИМЕРЕ ЯЗЫКА FRAMA-C |
ru |
dc.type |
Article |
ru |