Polyspace Bug Finder: Обнаружение дефектов программного обеспечения

Российская платформа математических вычислений и динамического моделирования Engee: сайт: https://clck.ru/37kCz5 Телеграм канал: https://clck.ru/37kCww ############### Рассматривается вопрос качества кода в части дефектов программного обеспечения. Демонстрируется, как Polyspace Bug Finder позволяет обнаруживать и классифицировать дефекты