Verified Systems International GmbH

• CCBM 5.2.2 now available (maintenance) [ccbm-advisory 0003]

  Posted on March 13, 2012 in category Releases/CCBM

  A maintenance release is now available.
  Consider updating if you are using Version 5.2.1 or older.

  Read more …

• Warning: CCBM 5.2.0 advisory ( [ccbm-advisory 00002]

  Posted on January 24, 2012 in category Releases/CCBM

  Problem description

  When displaying coverage overviews with asts-ccbm-coverage-info, the displayed numbers may be…

  Read more …

• CCBM 5.2.0 now available (new feature) [ccbm-advisory 00001]

  Posted on January 20, 2012 in category Releases/CCBM

  A new feature release is now available.
  Consider updating if you are using Version 5.2.10 or older.

  Read more …

Latest Releases

• RTT-Plugin 2.0.0 now available (VTB Support)
• 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)

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