For formal verification and as input for tools such as SDAI the textual representation within an ASCII file is the most important one.
Для формальной верификации и в качестве входных данных для инструментов, таких как SDAI текстовое представление в формате ASCII файл является наиболее важным.