Standard

Соревнования по формальной верификации VeHa-2023: опыт проведения. / Старолетов, Сергей Михайлович; Кондратьев, Дмитрий Александрович; Гаранина, Наталья Олеговна и др.

в: Труды Института системного программирования РАН, Том 36, № 2, 2024, стр. 141-168.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Старолетов, СМ, Кондратьев, ДА, Гаранина, НО & Шошмина, ИВ 2024, 'Соревнования по формальной верификации VeHa-2023: опыт проведения', Труды Института системного программирования РАН, Том. 36, № 2, стр. 141-168. https://doi.org/10.15514/ISPRAS-2024-36(2)-11

APA

Старолетов, С. М., Кондратьев, Д. А., Гаранина, Н. О., & Шошмина, И. В. (2024). Соревнования по формальной верификации VeHa-2023: опыт проведения. Труды Института системного программирования РАН, 36(2), 141-168. https://doi.org/10.15514/ISPRAS-2024-36(2)-11

Vancouver

Старолетов СМ, Кондратьев ДА, Гаранина НО, Шошмина ИВ. Соревнования по формальной верификации VeHa-2023: опыт проведения. Труды Института системного программирования РАН. 2024;36(2):141-168. doi: 10.15514/ISPRAS-2024-36(2)-11

Author

Старолетов, Сергей Михайлович ; Кондратьев, Дмитрий Александрович ; Гаранина, Наталья Олеговна и др. / Соревнования по формальной верификации VeHa-2023: опыт проведения. в: Труды Института системного программирования РАН. 2024 ; Том 36, № 2. стр. 141-168.

BibTeX

@article{83c608d6d85646b59e73a233c3bda772,
title = "Соревнования по формальной верификации VeHa-2023: опыт проведения",
abstract = "Для создания современного конкурентоспособного и доверенного программного обеспечения необходимо использовать знания формальных методов. В настоящее время огромное количество студентов обучается специальностям, связанным с программированием. Однако при обучении в вузе сложно получить навык практического применения теоретических знаний. Короткие соревнования с нестандартными близкими к промышленным задачами могут пробудить интерес студентов к области формальных методов. В нашей статье описан первый опыт организации соревнования по формальной верификации программ среди студентов российских вузов. Соревнования проводились в связке с семинаром по семантике, спецификации и верификации программ (PSSV) в Иннополисе в ноябре 2023 года. Формат соревнования был близок к формату так называемых хакатонов. Участникам было предложено решить задачи по верификации с использованием заранее определенных инструментов проверки моделей и дедуктивной верификации. Мы рассмотрим вопросы организации такого мероприятия, предложенные задачи, результаты решений и обратную связь от участников.",
author = "Старолетов, {Сергей Михайлович} and Кондратьев, {Дмитрий Александрович} and Гаранина, {Наталья Олеговна} and Шошмина, {Ирина Владимировна}",
note = "Старолетов С.М., Кондратьев Д.А., Гаранина Н.О., Шошмина И.В. Соревнования по формальной верификации VeHa-2023: опыт проведения // Труды Института системного программирования РАН. 2024. Т. 36. № 2. С. 141-168. DOI: https://doi.org/10.15514/ISPRAS-2024-36(2)-11",
year = "2024",
doi = "10.15514/ISPRAS-2024-36(2)-11",
language = "русский",
volume = "36",
pages = "141--168",
journal = "Труды Института системного программирования РАН",
issn = "2220-6426",
number = "2",

}

RIS

TY - JOUR

T1 - Соревнования по формальной верификации VeHa-2023: опыт проведения

AU - Старолетов, Сергей Михайлович

AU - Кондратьев, Дмитрий Александрович

AU - Гаранина, Наталья Олеговна

AU - Шошмина, Ирина Владимировна

N1 - Старолетов С.М., Кондратьев Д.А., Гаранина Н.О., Шошмина И.В. Соревнования по формальной верификации VeHa-2023: опыт проведения // Труды Института системного программирования РАН. 2024. Т. 36. № 2. С. 141-168. DOI: https://doi.org/10.15514/ISPRAS-2024-36(2)-11

PY - 2024

Y1 - 2024

N2 - Для создания современного конкурентоспособного и доверенного программного обеспечения необходимо использовать знания формальных методов. В настоящее время огромное количество студентов обучается специальностям, связанным с программированием. Однако при обучении в вузе сложно получить навык практического применения теоретических знаний. Короткие соревнования с нестандартными близкими к промышленным задачами могут пробудить интерес студентов к области формальных методов. В нашей статье описан первый опыт организации соревнования по формальной верификации программ среди студентов российских вузов. Соревнования проводились в связке с семинаром по семантике, спецификации и верификации программ (PSSV) в Иннополисе в ноябре 2023 года. Формат соревнования был близок к формату так называемых хакатонов. Участникам было предложено решить задачи по верификации с использованием заранее определенных инструментов проверки моделей и дедуктивной верификации. Мы рассмотрим вопросы организации такого мероприятия, предложенные задачи, результаты решений и обратную связь от участников.

AB - Для создания современного конкурентоспособного и доверенного программного обеспечения необходимо использовать знания формальных методов. В настоящее время огромное количество студентов обучается специальностям, связанным с программированием. Однако при обучении в вузе сложно получить навык практического применения теоретических знаний. Короткие соревнования с нестандартными близкими к промышленным задачами могут пробудить интерес студентов к области формальных методов. В нашей статье описан первый опыт организации соревнования по формальной верификации программ среди студентов российских вузов. Соревнования проводились в связке с семинаром по семантике, спецификации и верификации программ (PSSV) в Иннополисе в ноябре 2023 года. Формат соревнования был близок к формату так называемых хакатонов. Участникам было предложено решить задачи по верификации с использованием заранее определенных инструментов проверки моделей и дедуктивной верификации. Мы рассмотрим вопросы организации такого мероприятия, предложенные задачи, результаты решений и обратную связь от участников.

U2 - 10.15514/ISPRAS-2024-36(2)-11

DO - 10.15514/ISPRAS-2024-36(2)-11

M3 - статья

VL - 36

SP - 141

EP - 168

JO - Труды Института системного программирования РАН

JF - Труды Института системного программирования РАН

SN - 2220-6426

IS - 2

ER -

ID: 61366886