Software defect detection by combining bounded model checking and approximations of functions

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

7 сентября 2026 г.

В НИУ ВШЭ пройдет конференция для представителей наук, изучающих медицину и здоровье

С 3 по 5 декабря в Москве состоится междисциплинарная научная конференция с международным участием «Коморбидное поле 3.0: социальное благополучие, здоровье и медицина во множественных контекстах», которая будет организована Центром сравнительных исследований социального благополучия НИУ ВШЭ при участии факультета гуманитарных наук и Санкт-Петербургской школы гуманитарных наук и искусств НИУ ВШЭ, Европейского университета в Санкт-Петербурге и Сеченовского университета. Заявки на участие принимаются до 4 октября.

4 сентября 2026 г.

Сотрудники НИУ ВШЭ - Санкт-Петербург разработали ИИ-инструмент для анализа человеческого поведения

Сотрудники и студенты НИУ ВШЭ совместно с экспертами из Санкт-Петербургского Федерального исследовательского центра РАН и Центра практического ИИ Сбера разработали нейросеть, способную одновременно распознавать эмоции, оценивать видимые черты личности и выявлять амбивалентность (неуверенность или противоречивость поведения). Результаты исследования опубликованы в журнале IEEE Access.

3 сентября 2026 г.

«Археолог - это следователь, опоздавший к месту преступления на тысячи лет»

Виктория Герасимова занимается краснолаковой керамикой, копает в Казахстане и играет в шахматы на городских площадках. В интервью проекту «Молодые ученые Вышки» она рассказала об уникальности Боспорского царства, понтийской сигиллате и коте Матроскине — бизнесмене.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Software defect detection by combining bounded model checking and approximations of functions

Automatic Control and Computer Sciences. 2014. Vol. 7. No. 48. P. 389–397.

Ахин М. Х., Beliaev Mikhail, Itsykson Vladimir

Язык: английский

DOI

Ключевые слова: bounded model checking

Using a bounded model checker for test generation: How to kill two birds with one SMT solver

Beliaev Mikhail, Petrov M., Gagarski K. и др., Automatic Control and Computer Sciences 2015 Vol. 7 No. 49 P. 466–472

Добавлено: 3 июля 2019 г.

Distributed analysis of the BMC kind: Making it fit the tornado supercomputer

Abdullin A., Stepanov D., Ахин М. Х., , in: Communications in Computer and Information ScienceVol. 779: Tools and Methods of Program Analysis.: Springer, 2018. P. 1–10.

Добавлено: 12 ноября 2018 г.

Random model sampling: Making craig interpolation work when it should not

Ахин М. Х., Kolton S., Ицыксон В. М., Automatic Control and Computer Sciences 2015 Vol. 49 No. 7 P. 413–419

Добавлено: 12 ноября 2018 г.

By the power of SMT! Mining function contracts to better bounded model checking

Abdullin A., Ахин М. Х., , in: Proceedings of the 5th International Workshop on Software Mining, co-located with ASE 2016.: Association for Computing Machinery (ACM), 2016. P. 11–17.

Добавлено: 12 ноября 2018 г.

Borealis bounded model checker: The coming of age story

Ахин М. Х., Беляев М. А., Ицыксон В. М., , in: Present and Ulterior Software Engineering.: Cham: Springer, 2017. P. 119–138.

Добавлено: 12 ноября 2018 г.