The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification

Tarasich, Yulia. The Canonical Forms of Logical Formulas over the Data Types and their Using in Programs Verification / Michael Lvov, Vladimir Peschanenko, Oleksandr Letychevskyi and Yulia Tarasich // CEUR-WS, 2017. – 2017. – С. 536-554 http://ceur-ws. org/Vol-1844/10000536. pdfA brief review and the results of working with tools for the formulae simplifying are presented. The algorithm for constructing the canonical forms of linear semi-algebraic formulae over the enumerated and multiple types is de-scribed