javapathfinder/jpf-core

JPF là một framework phân tích phần mềm có thể mở rộng cho Java bytecode. jpf-core là nền tảng cho tất cả các dự án JPF; bạn luôn cần cài đặt nó. Nó chứa VM cơ bản và cơ sở hạ tầng kiểm tra mô hình, có thể được sử dụng để kiểm tra các lỗi đồng thời như deadlock, và các ngoại lệ chưa được xử lý như NullPointerExceptions và AssertionErrors.