E-Chaser

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎1 ‎Suara

Tentang E-Chaser

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 menghasilkan modul verifikasi runtime.