โปรแกรมตาม jpf.sf.net

JPF (กรอบปลั๊กอิน Java) เป็นเฟรมเวิร์กปลั๊กอินอเนกประสงค์ที่มีวัตถุประสงค์เพื่อช่วยในการสร้างแอปพลิเคชัน Java ที่ปรับขนาดได้และขยายได้ด้วยต้นทุนการบํารุงรักษาที่ต่ํา กรอบการทํางานได้รับการออกแบบมาเป็นพิเศษเพื่อให้รวมอยู่ในโคร