Verified Systems International GmbH

• Verification of Systems with Synchronous Software Components

  Posted on June 24, 2013 in category Publications/Papers-2013

  From January 2011 to December 2013, Verified Systems performed research and development work for the project VerSyKo…

  Read more …

• Industrial-Strength Model-Based Testing - State of the Art and Current Challenges

  Posted on February 17, 2013 in category Publications/Papers-2013

  As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT…

  Read more …

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