https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/ 2026-09-08T04:23:20+00:00 https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/ https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/_media/wiki:dokuwiki-128.png text/html 2008-01-21T20:37:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/6490A/jpf:start?rev=1200947852&do=diff Java PathFinder A lot of information about JPF can be found here. More information can be found here. Although it describes an old version of JPF, this manual may be useful. To configure JPF, you may want to use a jpf.properties file containing search.class = gov.nasa.jpf.search.heuristic.HeuristicSearch search.heuristic.class = gov.nasa.jpf.search.heuristic.BFSHeuristic