Verified Systems International GmbH

• RT-Tester TMS (Test Management Server) 2.6.3 now available (bugfix)

  Posted on November 12, 2021 in category Releases/TMS

  A bugfix release is now available for all supported platforms.

  This version provides a more robust database update…

  Read more …

• RT-Tester TMS (Test Management Server) 2.6.2 now available (bugfix)

  Posted on August 20, 2021 in category Releases/TMS

  A bugfix release is now available for all supported platforms. This version supports protocol versions 10 to 12 and…

  Read more …

• RT-Tester TMS (Test Management Server) 2.6.1 now available (bugfix)

  Posted on June 11, 2021 in category Releases/TMS

  A bugfix release is now available for all supported platforms. This version supports protocol versions 10 to 12 and…

  Read more …

• RT-Tester TMS (Test Management Server) 2.6.0 now available (maintenance)

  Posted on April 29, 2021 in category Releases/TMS

  A maintenance release is now available for all supported platforms. This version introduces support for protocol version…

  Read more …

• RT-Tester TMS (Test Management Server) 2.5.3 now available (maintenance)

  Posted on February 12, 2021 in category Releases/TMS

  A maintenance release is now available for all supported platforms.

  Minimum required RTT-Plugin release: 1.6.2
  Minimum…

  Read more …

• RT-Tester TMS (Test Management Server) 2.5.2 now available (maintenance)

  Posted on December 18, 2020 in category Releases/TMS

  A maintenance release is now available for all supported platforms.

  Minimum required RTT-Plugin release: 1.6.2
  Minimum…

  Read more …

• RT-Tester TMS (Test Management Server) 2.5.1 now available (new feature)

  Posted on December 16, 2020 in category Releases/TMS

  A new feature release is now available for all supported platforms.

  Minimum required RTT-Plugin release: 1.6.2
  Minimum…

  Read more …

• RT-Tester TMS (Test Management Server) 2.5.0 now available

  Posted on March 23, 2018 in category Releases/TMS

  A maintenance release is now available for all supported platforms.

  Minimum required RTTUI release: 3.8.0
  Minimum…

  Read more …

• TMS/RTTUI release 3.6.1 - 3.6.5

  Posted on September 25, 2013 in category Releases/TMS

  There a minor patch versions that mainly address performance issues in the project viewer in the bigger projects and…

  Read more …

Latest Releases

• RT-Tester 7.0.5 now available (maintenance)
• WARNING: Major bug in RT-Tester 7.0.4 may ignore error-timeout of cluster tests
• RT-Tester 7.0.4 now available (maintenance)
• RT-Tester 7.0.3 now available (maintenance)
• RTT-Plugin 1.6.10 now available (bugfix only)

Publications

• Presentation at Space Tech Expo Europe, Bremen
• EU Innovation Radar Prize - Runner-up Trophy for Verified Systems International!
• Nomination for EU Innovation Radar prize, 2015
• Testing on Target: Concepts and Experiences (IQNITE 2010)
• RT-Tester Bounded Model Checker Verifies Interlocking System Components