Comaqa Autumn 2018. Вадим Винник. Просто о сложном, сложно о простом. Что такое корректность программ

Добрый день, коллеги!
Предлагаем к просмотру доклад Вадима Винника «Просто о сложном, сложно о простом. Что такое корректность программ».

Все мы видели в программах дефекты. Возможно, кому-то посчастливилось хоть раз подержать в руках программу вообще без дефектов. Чаще всего мы имеем дело с программами, в которых полно дефектов, но до поры до времени нам везёт на них не натыкаться. Различие между правильно и неправильно ведущей себя программой интуитивно вполне очевидно. Но если задуматься над тем, как определить это понятие со всей научной строгостью, а тем более — описать математическими формулами… Доклад вкратце познакомит слушателя с формальными методами спецификации и верификации программ — огромной областью знаний, известной массам гораздо менее, чем она того заслуживает.


Ознакомиться с Презентацией


Приглашаем к просмотру!

Подписывайтесь на наш YouTube-канал!
Присоединяйтесь к чатам сообщества:
COMAQA телеграмм
COMAQA Skype 

Похожие Записи