Показать сокращенную информацию
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 |