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

АБВ
АБВ
АБВ

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

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

по году

Тематика

15 июня 2026 г.

<a>Институт робототехнических систем ВШЭ запустил научно-технический семинар

Институт робототехнических систем (ИРС) ВШЭ запустил новый ежемесячный формат — Научно-технический семинар. Он объединяет сотрудников института, приглашенных экспертов, студентов, исследователей и представителей других подразделений НИУ ВШЭ для обсуждения актуальных задач мехатроники, робототехники и киберфизических систем.

11 июня 2026 г.

Время жизни популяций определяется законами математики

Исследователи НИУ ВШЭ и МГУ доказали универсальный закон, описывающий время исчезновения популяций в случайной среде. Анализ эволюции ветвящихся процессов — сложных вероятностных систем — показал, что вне зависимости от изначального числа особей процесс вымирания подчиняется строгим математическим закономерностям. Результаты опубликованы в Journal of Applied Probability.

8 июня 2026 г.

«За 12 лет на нашем счету почти 1000 операций с пробуждением»

В НИУ ВШЭ прошла XIII Летняя нейролингвистическая школа, организованная Центром языка и мозга при поддержке факультета гуманитарных наук НИУ ВШЭ. В центре внимания слушателей была совместная работа нейролингвистов, нейрохирургов и нейрофизиологов в операционной, стандартизация лингвистических парадигм и практические подходы к сохранению речевой функции пациентов.

Нашли опечатку?
Выделите её, нажмите 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 г.