The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification
Files
Date
2017
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
A 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.
Description
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. pdf
Keywords
System of linear inequalities, canonical forms, logical formulae, linear semi-algebraic formulae, trapezoids