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