E-Chaser

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen

Over E-Chaser

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 te genereren.