Verified Systems
Products
RT-Tester
RTT-MBT: Model Based Testing
RTT-STO: Source-to-Object Code Analyser
RTT-DCC: Data & Control Coupling Analyser
Code Coverage Branch Monitor
Test Engines
Services
Support
Publications
Releases
Company
Corporate Information
Expertise
Innovation
Reference Projects
Partners
Verified Systems International GmbH
Quality Assurance for Embedded Systems
Home
Releases
RTT-DCC
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
