Products

Blog

The Power of Focus – How to Optimize a Model Checker for Embedded Software

Date: 8月 30, 2023

Dr. Tino Teige

Oldenburg, Germany

Model checking is a powerful technique to analyze the dynamic behavior of software with mathematical completeness
The complexity of the algorithm makes it challenging to apply model checking to industrial applications
In this article, our Chief Research Engineer shares some insights into how BTC has addressed these challenges

Dr. Tino Teige

Oldenburg, Germany

Chief Research Director Innovation & Technology

Dr. Tino Teige holds a Diploma degree in Theoretical Computer Science from University of Rostock since 2005. From 2005 to 2012 he was a research assistent at the University of Oldenburg mainly working on formal methods. He received a doctoral degree in Computer Science in 2012 with a dissertation about verification of probabilistic systems. Since 2012 Dr. Tino Teige is with BTC Embedded Systems AG where he currently acts as Chief Research Engineer and Head of the Innovation & Technology Department, the latter being responsible for the application of formal methods in an industrial setting. In 2013 he was a visiting researcher at the University of Oxford.

Connect on LinkedIn

全ての動画

良く見られている動画

評価用ライセンスの申し込み

私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。

ミーティングを予約する

質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。

ニュースレターに登録する

お客様のEメールアドレスは、プライバシー認証済みのニュースレターソフトウェアCleverReachに送信され、技術的に配信されます。詳しくはプライバシーポリシーをご覧ください。

Videos

Discover some of the main features of our products in these short videos.

インテリジェントで自動化されたテストソリューションにより、複雑度の増大が続くソフトウェアへの対処とISO26262に準拠した高いソフトウェア品質獲得をサポートします。

モデルベース開発向けのテストソリューション

BTC EmbeddedPlatform - 製品パッケージ

ユースケース

テスト / 検証 / 分析ターゲット