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
Research Projects
Reference Projects
Partners
Verified Systems International GmbH
Quality Assurance for Embedded Systems
Home
Releases
RTT-DCC
Latest Releases
RTT-MBT 9.5.1 now available (new feature)
Rtt Plugin 1.5.3 now available (new feature)
Rtt Plugin 1.5.2.1 now available (new feature)
Rtt Plugin 1.5.1 now available (new feature)
CCBM 5.7.2 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
