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

(Research and development in Verification, Specification, and Testing)

       RedVerst group performs a research for quality improvement of software and software development processes. For our customers and partners we are

  • Service vendors of tests development and quality improvement of code and documentation. Our group has its most valuable experience in telecommunication applications and compilers.
  • Developers of testing methodology based on models and specifications. These methodologies can be applied to software development processes improvement and special-purpose testing facilities development.
  • Developers of tools and technologies for testing, target analysis of code and requirements management.
  • Developers of training courses for advanced testing methods.


Copyright © 2002 ISP RAS