Verification of LTL properties of Java code

by Michele for The Java Pathfinder Team

My aim in this project is to build jpf-ltl, a tool to perform verification of LTL properties of Java code that builds on top of Java Pathfinder and implements the nested depth-first search required for the verification of full LTL