← Повернутися до подробиць статті Сценарії, методи та засоби формальної верифікації артефактів процесу проєктування систем критичного призначення