Verified Systems International GmbH

• RTT-MBT 9.6.1 now available (new feature)

  Posted on January 21, 2022 in category Releases/RTT-MBT

  A new feature release for RTT-MBT is now available for all supported platforms. This version contains functional changes…

  Read more …

• RTT-MBT 9.6.0 now available (new feature)

  Posted on November 22, 2021 in category Releases/RTT-MBT

  A new feature release for RTT-MBT is now available for all supported platforms. This version contains new usability…

  Read more …

• RTT-MBT 9.5.3 now available (new feature)

  Posted on June 25, 2021 in category Releases/RTT-MBT

  A new feature release for RTT-MBT is now available for all supported platforms. This version contains new usability…

  Read more …

• RTT-MBT 9.5.2 now available (new feature)

  Posted on April 29, 2021 in category Releases/RTT-MBT

  A new feature release for RTT-MBT is now available for all supported platforms. This version contains new usability…

  Read more …

• RTT-MBT 9.5.1 now available (new feature)

  Posted on October 19, 2020 in category Releases/RTT-MBT

  A new feature release for RTT-MBT is now available for all supported platforms. This version contains bug fixes and new…

  Read more …

• RTT-MBT 9.5 now available (new feature)

  Posted on July 13, 2020 in category Releases/RTT-MBT

  A new feature release for RTT-MBT is now available for all supported platforms. This version contains bug fixes and new…

  Read more …

• RTT-MBT 9.2-1.0.1 now available (new feature)

  Posted on September 26, 2017 in category Releases/RTT-MBT

  A new release of RTT-MBT is now available for all supported platforms.

  Read more …

• RTT-MBT 9.2-1.0.0 now available

  Posted on September 21, 2017 in category Releases/RTT-MBT

  A new release of RTT-MBT is now available for all supported platforms.

  Read more …

Latest Releases

• RT-Tester 7.0.6 now available (maintenance)
• RTT-Plugin 2.0.0 now available (VTB Support)
• 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)

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