![](/statics/img/blank.png)
E-Chaser
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 3.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur E-Chaser
E-Chaser est un système de vérification de temps d’exécution pour les applications Java-RMI distribuées RMI. Dans son frontend, E-Chaser fournit des spécifications transparentes en distribution et utilise Compose* comme outil backend pour générer des modules de vérification de temps d’exécution.