RAVAJ
Rewriting and Approximations for Java Applications Verification
Menu
Home
Members
Meetings
Tools
Publications
Tools
Timbuk
is a tool for achieving abstract reachability analysis over Term Rewriting Systems
TOM
is a software environment for defining transformations in Java
Copster
is a tools for producing executable Term Rewriting Systems from a given program semantics, e.g. Java bytecode programs
