プログラム e-chaser.sf.net

E-Chaser は、分散 Java-RMI アプリケーション RMI の実行時検証システムです。フロントエンドでは、E-Chaserはディストリビューションに透過的な仕様を提供し、ランタイム検証モジュールを生成するためのバックエンドツールとしてCompose*を使用しています。