E-Chaser

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes

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.