Фильтр по тематике
электроника
Применение автоматного программирования и верификатора Spin для решения задачи управления пневмоподвеской автомобиля
Одной из важных технологий программной инженерии является верификация программ методом model checking. Отличительная особенность данного метода – способность доказывать наличие или отсутствие заданного свойства у системы. В статье демонстрируется применение связки двух технологий: автоматного программирования и верификации программ методом model checking для решения задачи управления пневмоподвеской автомобиля. СЭ №6/2018 130 0 0