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

Все мы видели в программах дефекты. Возможно, кому-то посчастливилось хоть раз подержать в руках программу вообще без дефектов. Чаще всего мы имеем дело с программами, в которых полно дефектов, но до поры до времени нам везёт на них не натыкаться. Различие между правильно и неправильно ведущей себя программой интуитивно вполне очевидно. Но если задуматься над тем, как определить это понятие со всей научной строгостью, а тем более - описать математическими формулами… Доклад вкратце познакомит слушателя с формальными методами спецификации и верификации программ -- огромной областью знаний, известной массам гораздо менее, чем она того заслуживает. Ждем всех на наших осенних конференциях: COMAQA Conference Autumn Minsk 2019 http://conference.comaqa.by/ COMAQA Conference Autumn Piter 2019 http://conference.comaqa.ru/2019-autumn-piter Присоединяйтесь к чатам сообщества: Портал сообщества https://comaqa.by