Purpose of the development: For use by organizations that develop software critical to security software systems.

Recommended application field: In the aviation, military, telecommunications and medical industries.

Technical characteristic: Reaches 100% test coverage of the code, analysis of 100% of the system states.

Advantages over analogues: There are no world analogues in the integrated application of symbolic computing technology in the software development process.

The development stage readiness: Introduced in production

Information about newness of the development:
there are Ukrainian patents -- 1 items

corresponds technical description
Guarantees stable results getting

Possibility of transfer abroad:
Joint production, sale, exploitation

Photo

Country Ukraine

For additional information turn to:
E-mail: gal@uintei.kiev.ua