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