ISPRAS Logo
RedVerst
Intro Background Projects Offers Publications Downloads Staff
ISPRAS Description Logo
Home   R&D Groups   Projects   Grants   Publications   Downloads

Products

Advanced industrial strength technologies and Tools

       RedVerst achievements are widely caused on advanced technologies and tools, which RedVerst uses on project implementation. The most part of these tools are developed within the group and extended as independent products. With users and customers point view it is necessary to distinguish a product-tool and a product-technology. In the first case a user get a tool in fact or a tool set, a user manual, installation manuals and the like usual documentations. In case a product-technology in addition to tools a development processes description, software analysis and/or testing are given, which allow disclose tool features in full measure; technology deployment process description, methodic data for conducting of training-courses and staff attestation and other data, which facilitate technology deployment appreciably in particular their integration to already existent customer company processes are also given. At technology transfer a customer may conclude a treaty with ISPRAS on services for technology deployment and/or for their maintenance. RedVerst offers two lines of products:

  • For specifications development and testing based on specifications
  • For fast code assessment

       In the first line products are divided to language platforms.

Verification technologies

Technology
Languages of system under test
C
C++
Java
VDM++
KVEST
KVEST
KVEST
   
UniTesK
CTesK-lite
CTesK-lite
JavaTesK
VDM++TesK-lite

Testing tools

Tool
Languages of system under test
C
C++
Java
VDM++
CTesK-lite
+
+
   
VDM++TesK
 
+ *)
+ *)
+
J@T **)
+ *)
+ *)
+
 

   *) The tool may be applied for testing of software written by given language but for that bridges between various languageplatforms are demanded.

   **) The tool is ownership of ATSAPS company.

 


Copyright © 2002 ISP RAS