Библиотека для верификации структурированных программ

Программа представляет собой набор инструментов для человеко-машинной верификации структурированных программ. Верификация происходит на основе предъявляемых требований при помощи имеющихся функций. Программа позволяет получить следующие данные: время сбоя программы; место, в котором произошел сбой программы; наиболее вероятную причину сбоя программы.