J-VETO (Java Verification and Enforcement TOolbox) is dedicated to the runtime veri cation and enforcement of properties on Java programs. The j-VETO toolbox is able to synthesize and integrate a monitor in a target Java program.
Follow J-VETO: Verification/Enforcement Toolbox
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of J-VETO: Verification/Enforcement Toolbox!