Симуляция верификации управляющей программы

Наглядное видео о точности верификации управляющей программы в Manussim.