JARV: Java Application Programming Interface for RELAX Verifiers

What does JARV mean? The above is one of JARV meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Java Application Programming Interface for RELAX Verifiers