anna-20

beginner

school programming

coding-interview-university

A complete computer science study plan to become a software engineer.

jpf-core

This is the basis for all JPF projects, i.e. you always need to install it. jpf-core contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

test