Для цитирования:

ПЕТРОВ О.М. Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки. Труды Института системного программирования РАН. 2023;35(3):151-162. https://doi.org/10.15514//ISPRAS-2023-35(3)-11

For citation:

PETROV O.M. Finding More Bugs with Software Model Checking using Delta Debugging. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2023;35(3):151-162. https://doi.org/10.15514//ISPRAS-2023-35(3)-11