Skip to content

GiacomoFerro/liveness-static-analyzer

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

liveness-static-analyzer

Information Systems Analysis - Liveness Project

Read report.pdf in order to have an explanation.

Look at the slideshow.pdf to have an overview on the project.

HOW TO IMPORT AND RUN THE CODE:

  • Download LivenessProject folder
  • From Eclipse environment select File->Import->General->File System->LivenessProject.
  • configure corpoJava.txt's path in MainLauncher.java
  • Run MainLauncher.java

You need at least JavaSE-1.8, JgraphT and JavaCC packages on your Eclipse workspace. See following links:

Authors: https://github.com/GiacomoFerro and https://github.com/Astuxx

Releases

No releases published

Packages

No packages published

Languages