PROGRAMS BY e-chaser.sf.net
-
E-Chaser Free
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 runtim