Поддерживается инструмент для проверки модуля в SOFL

Question

Я исследую структурированный объектно-ориентированный формальный язык. Я написал несколько примеров модулей. Но я не уверен в них, поэтому я хочу найти какой-нибудь инструмент для проверки и поддержки. Язык SOFL использует DFD + Module + VDM, поэтому я помечаю dfd и формальный метод. Надеюсь, кто-нибудь может мне помочь. Спасибо