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
Releases/RTTUI
RTTUI 3.7.1 now available
Posted on February 10, 2014 in category
Releases/RTTUI
A new release of RTTUI is available now.
Improvements
added support for the MBT Python implementation
improved the MBT…
Read more …
RTTUI 3.7.0 now available
Posted on November 12, 2013 in category
Releases/RTTUI
A new release of RTTUI is available now.
Improvements
added support for RTT-EXTA
Bugfixes
fixed the naming of…
Read more …
Latest Releases
RT-Tester 6.0-6.5.4 now available (maintenance)
RT-Tester 6.0-6.5.3 now available (maintenance)
RT-Tester 6.0-6.5.2 now available (maintenance)
RT-Tester 6.0-6.5.1 now available (maintenance)
RT-Tester 6.0-6.5.0 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
