E-Chaser

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

ABOUT E-Chaser

E-Chaser is a runtime verification system for distributed Java-RMI applications RMI. In its frontend, E-Chaser provides distribution-transparent specifications, and makes use of Compose* as its backend tool to generate runtime verification modules.