Verified Systems International GmbH

Releases

Verified System provides information about the latest releases and updates for our tools on this site.

• RT-Tester: Latest Releases and Advisories

• RTT-MBT: Latest Releases and Advisories

• RTT-Plugin: Latest Releases and Advisories

• RT-Tester Test Management Server: Latest Releases and Advisories

• RT-Tester Source-Code-To-Object-Code Traceability Analyzer (RTT-STO): Latest Releases and Advisories

• Code Coverage Branch Monitor: Latest Releases and Advisories

Latest Releases

• CCBM 5.8.1 now available (maintenance)
• RT-Tester TMS (Test Management Server) 2.6.2 now available (bugfix)
• RT-Tester 6.0-6.6.3 now available (maintenance)
• RTT-Plugin 1.6.6 now available (new feature)
• RTT-MBT 9.5.3 now available (new feature)

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