PURPOSE:
For developing applications using the APLAN algebraic programming language.
TECHNICAL CHARACTERISTICS:
Compatible with Linux and Windows environments, on-line mode.
RECOMMENDED FIELD OF APPLICATION:
Organizations that create systems for verification, testing, analysis, the transformation of programs.
ADVANTAGES:
It has no analogues in Ukraine. There is the world’s fastest term rewriting system compared to other world analogues. The system has interfaces with all major known automatic theorem proving systems or algebraic programming systems designed for solving individual problems.
IF YOU ARE INTERESTED IN THIS DEVELOPMENT, PLEASE,
WRITE TO US