Pinned Repositories
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
anna-20's Repositories
anna-20/beginner
school programming
anna-20/coding-interview-university
A complete computer science study plan to become a software engineer.
anna-20/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.
anna-20/test