開發者 e-chaser.sf.net

E-Chaser 是分散式 Java-RMI 應用程式 RMI 的運行時驗證系統。在其前端，E-Chaser 提供分發透明的規範，並使用 Compose* 作為其後端工具來生成運行時驗證模組。