Verified Systems International GmbH

• Presentation at Space Tech Expo Europe, Bremen

  Posted on December 02, 2015 in category Publications/Papers-2015

  Jan Peleska, shareholder of Verified Systems International GmbH, talks about model-based testing for embedded systems at…

  Read more …

• EU Innovation Radar Prize - Runner-up Trophy for Verified Systems International!

  Posted on November 09, 2015 in category Publications/Papers-2015

  Dear customers, dear friends,

  Our sincerest thanks for your support in the public opinion poll for the EU innovation…

  Read more …

• Nomination for EU Innovation Radar prize, 2015

  Posted on October 07, 2015 in category Publications/Papers-2015

  Verified Systems is one of 14 European companies which have been shortlisted by the European Commission for the EU…

  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