j-VETO (Java VErification TOolbox)
The toolbox j-VETO (Java Verification and Enforcement Toolbox) is dedicated to the runtime verification and enforcement of properties on Java programs. The underlying theory of j-VETO is presented in my thesis and TR-2010-5. The j-VETO toolbox is able to synthesize and integrate a monitor in a target Java program.
One may consult this page for more information on j-VETO.