Program menurut e-chaser.sf.net

E-Chaser adalah sistem verifikasi runtime untuk aplikasi Java-RMI terdistribusi RMI. Dalam frontend-nya, E-Chaser memberikan spesifikasi transparan distribusi, dan memanfaatkan Compose* sebagai alat backend-nya untuk menghasi