A JPF listener that allows the user to view and analyze their application’s state space in a 3D environment coded in Java using LWJGL libraries (OpenGL).
Setup using Eclipse
Install Eclipse IDE for Java EE Developers.
Install Eclipse JPF plugin to your Eclipse IDE.
Under the Git Repositories view in Eclipse, select "Clone a Git repository. Enter this repository's URL under the URI field and press Next until Finish.
Right click "JPF-3D-State-Space [master]" and select "Import Projects..". Only select JPF-3D-State-Space\jpf-3d-state-space and press Finish.
How to Run using Eclipse
Under JPF-3D-State-Space\jpf-3d-state-space\src\examples, right click any .jpf file, and press "Verify...".
Alternatively, you can create your own .jpf file with your application and run it with the
This project was made for EECS4315, a mission-critical systems class at York University.
- Kevin Arindaeng
- Yash Chauhan