首页
PC软件
Mac软件
Linux软件
安卓应用
苹果应用
提交软件
开发者 e-chaser.sf.net
E-Chaser
免费
E-Chaser 是分布式 Java-RMI 应用程序 RMI 的运行时验证系统。在其前端,E-Chaser 提供分发透明的规范,并使用 Compose* 作为其后端工具来生成运行时验证模块。