GSoC/GCI Archive
Google Summer of Code 2013 The Java Pathfinder Team

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