Programma's van e-chaser.sf.net

E-Chaser is een runtime verificatie systeem voor gedistribueerde Java-RMI applicaties RMI. E-Chaser biedt distributietransparante specificaties en maakt gebruik van Compose* als backend-tool om verificatiemodules voor runtime