VeriFlux
வெரிஃப்ளக்ஸ் என்பது ஜாவாவில் எழுதப்பட்ட நிரல்களுக்கான முறையான முறைகள் அடிப்படையிலான நிலையான பகுப்பாய்வு கருவியாகும். இது ஜமைக்கா விஎம் உடன் பயன்படுத்த உகந்ததாக உள்ளது, ஆனால் எந்த ஜாவா நிரலுக்கும் பயன்படுத்தப்படலாம். ஆர்டிஎஸ்ஜே விதிவிலக்குகள் மற்றும் ஜாவா ஒத்திசைவு அம்சங்களைப் பயன்படுத்தி குறியீட்டில் சாத்தியமான டெட்லாக்குகள் உள்ளிட்ட பிடிக்கப்படாத இயக்க நேர விதிவிலக்குகளை இது கண்டறிய முடியும். இது வள பகுப்பாய்விற்கும் பயன்படுத்தப்பட்டுள்ளது. இது முழு நிரல் பகுப்பாய்வு மற்றும் பகுதி நிரல் பகுப்பாய்வு ஆகிய இரண்டிற்கும் பயன்படுத்தப்படலாம். மேலும் காண்கஃ அய்காஸ் ஜமைக்கா விஎம் முறையான முறைகள் தரவு-ஓட்ட பகுப்பாய்வு நிகழ்நேர ஜாவா உட்பொதிக்கப்பட்ட ஜாவா குறிப்புகள் வெளிப்புற இணைப்புகள் நிலையான நிரல் பகுப்பாய்வு கருவிகள்