Verified Systems International GmbH

Testing on Target: Concepts and Experiences (IQNITE 2010)

Posted on February 04, 2015 in category Publications/Papers-2011

Testing on Target: Concepts and Experiences (Slides IQNITE2010)

Abstract

In this presentation we introduce a method and…

Read more …

Latest Releases

• RT-Tester 6.0-6.6.0 now available (new feature)
• 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)

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