Verified Systems International GmbH

• RT-Tester 6.0-4.9.7 now available [rt-tester-advisory 00001]

  Posted on July 19, 2013 in category Releases/RT-Tester

  A new RT-Tester release is now available for all supported platforms.
  Consider updating if you are using Version…

  Read more …

Latest Releases

• RT-Tester 7.1.1 now available (maintenance)
• CCBM 5.8.2 now available (maintenance)
• RT-Tester 7.1.0 now available (new feature)
• RT-Tester 7.0.6 now available (maintenance)
• RTT-Plugin 2.0.0 now available (VTB Support)

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