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

Offers

Domain

       Potentially, services and products of RedVerst can be used with any types of software. Nevertheless, the most natural niche for them is so-called Application Programming Interfaces (API). This type of testing is especially suitable for Unit-testing and Integration Testing. It can also be used for System testing (in the case when the set of tests for system testing includes the tests, developed during unit testing and integration testing phases). API is a promising type of interfaces offered to users (software developers). Examples of such interfaces are: Operating Systems API (POSIX, win32, etc.), server interfaces in client-server architectures, COM/DCOM, CORBA, .Net interfaces, etc.

       We offer Services, Products and Training-courses.

Services

Modern services in critical software verification and improving

       RedVerst services can be divided into 2 groups. The first group is formed by the works for software improvement, testing and improvement in particular. The second group of services is technology deployment, help with software development processes improvement, conducting of training-courses for technologies, developed by the team, in particular.

Products

Advanced industrial strength technologies and Tools

       You can become more familiar with tools possibilities by navigating the links given below.

       Specification and testing (verification technologies).
 
Languages of system under test
C
C++
Java
VDM++
KVEST (LNCS, No. 1708, 1999, pp. 608-621.)
KVEST
KVEST
   
UniTesK (LNCS 2244, 2001)
CTesK-lite
CTesK-lite
JavaTesK
VDM++TesK-lite

Training Courses

       We offer services of personnel education of promising methods of software quality improvement and software development processes for users and organizations.

       Contact person: Vitaliy Omelchenko vitaliy@ispras.ru

 


Copyright © 2002 ISP RAS