Programmes par e-chaser.sf.net

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