Как правило , все СОЗ представляют исходные данные , необходимые для верификации ,
Построение логической модели и дедуктивный вывод осуществляются автоматически разработанной системой .
Как правило , все СОЗ представляют исходные данные , необходимые для верификации , некоторым регулярным для всех проектов образом .
Построение логической модели и дедуктивный вывод осуществляются автоматически разработанной системой .