E-Chaser

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos

acerca de E-Chaser

E-Chaser es un sistema de verificación en tiempo de ejecución para aplicaciones Java-RMI distribuidas RMI. En su front-end, E-Chaser proporciona especificaciones transparentes de distribución y hace uso de Compose* como su herramienta de back-end para generar módulos de verificación en tiempo de ejecución.