Alessandro Cimatti

この論文では、無限状態のシステムにおける不変条件のチェックを2つのアルゴリズムを使って調べてるよ。

信頼性のあるリアルタイムシステムのパフォーマンスを監視する技術についての考察。