Аналіз існуючих технологій верифікації паралельних програм

Анотація

Проведено аналіз загальноприйнятого поділу методів верифікації. Суть формальних методів полягає в створенні математичних моделей програм і вимог і в логічному аналізі відповідності між побудованими моделями. На сьогодні, формальні методи ¬ це фундамент, на якому стоїть будівля програмної інженерії. Зроблено висновок, що найактуальнішими, найбільш корисними та продуктивними можна вважати синтетичні методи верифікації ПЗ. Зазначено, що актуальним є впровадження в практику методів формальної верифікації програмного забезпечення комп'ютерних систем, що доповнюють традиційні методи тестування і налагодження, і дозволяють підвищити безвідмовність і безпеку програм.