anna-20's repositories
coding-interview-university
A complete computer science study plan to become a software engineer.
CC-BY-SA-4.0000
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.
Language:PythonMIT000