CoreASM Parent Project
· The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.
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 org.coreasm.parent-1.7.3.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.