Purpose of the development: The system is intended for use by organizations that create software for researching agents or processes interacting in the environment, defines and limits these interactions.

Recommended application field: Organizations that create software.

Technical characteristic: Completeness of verification of the studied system,% ~ 100. Coverage of the states of the studied system,% ~ 100. Coverage of traces of the studied system,% ~ 100.

Advantages over analogues: It has no analogues in Ukraine. A significant advantage over other world analogues is the effective use of symbolic modeling and the theory of predicate converters to ensure high completeness of verification and testing of the studied software system.

The development stage readiness: Introduced in production

Technical and economic effect: 2-3 times cheaper than foreign analogues.

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