Download model-checker.jar

model-checker · Walkmod library to apply constraints to the AST

Table Of Contents

Latest Version

Download org.walkmod : model-checker JAR file - Latest Versions:

Version	Vulnerabilities	Size	Updated
1.1	model-checker-1.1.jar		3.24 KB	Feb 14, 2016
1.0	model-checker-1.0.jar		2.89 KB	Feb 14, 2016

Version

Vulnerabilities

Size

Updated

1.1

model-checker-1.1.jar

3.24 KB

Feb 14, 2016

1.0

model-checker-1.0.jar

2.89 KB

Feb 14, 2016

Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window model-checker-1.1.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.walkmod.modelchecker

├─ org.walkmod.modelchecker.ConstrainedElement.class - [JAR]

├─ org.walkmod.modelchecker.Constraint.class - [JAR]

├─ org.walkmod.modelchecker.ConstraintProvider.class - [JAR]