Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Kurs znakomit slushatelej s sovremennymi tekhnologijami verifikatsii programmnogo obespechenija, primenjaemymi pri promyshlennoj razrabotke slozhnykh i otkazoustojchivykh programmnykh sistem. Kurs rasschitan na chitatelej, zainteresovannykh v izuchenii osnovnykh podkhodov i putej reshenija problem, kotorye svjazany s sovremennymi tekhnologijami verifikatsii programmnogo obespechenija.
