マルチスレッドや割り込み処理によるデータ競合の問題を、Runtime Verificationという新しい技術を用いて自動検出します。疑似エラーを発生させることなく、本当のバグだけを検知します。
＜セミナー開催決定＞
11月19日(木）14:00～15:45 会議センター3F 303
講演者：イリノイ大学 アーバナ・シャンペーン校 教授 Grigore Rosu
数学的意味論モデルをベースとしており、C言語の未定義の動作を検出するためにデザインされた唯一のツールです。未定義の動作とは、その動作がC言語仕様上定義されていないもので、実行時に予測不能な結果を生じることがあります。このツールを使用することで、未定義の動作が発生するコードを検知することができます。
＜セミナー開催決定＞
11月19日(木）16:00～17:00 会議センター3F 303
Runtime Verification, Inc. Philip Daian