The Loops Unrolling Algorithm for the P4 Test Generation Tool
The Loops Unrolling Path for the P4 Test Generation Tool
The Reachability Analysis for the P4 Test Generation Tool
Co-author of the following software with the private IPs:
4.1. The Algebraic Virtual Machine
4.2. The Verification of Requirements Specification, Generic Trace Generator
4.3. The Insertional Modeling System
4.4. The Algebraic Programming System
4.5. The Software for Teaching Mathematics at School:
4.5.1. The Program Methodical Complex (PMC) "Videointerpreter for searching and sorting algorithms"
4.5.2. PMC TerM 7 "Support of the practical mathematical activity"
4.5.3. PMC TerM 7-9 "Support of the practical mathematical activity"
4.5.4. PMC Library of electronic presentations "Algebra 7-9"
4.5.5. PMC "Algebra, Grade 7"
4.5.6. PMC "Algebra, Grade 8"
4.5.7. Integrated environment for educational purposes "Analytic geometry"