This repository contains a version of the Java Class Library (rt.jar
) that can
be used together with
JBMC to
model-check Java code that calls the standard library.
dijamner / java-models-library Goto Github PK
View Code? Open in Web Editor NEWThis project forked from diffblue/java-models-library
JDK 8 class model library