Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
Part 1 of Project

Install JPF on your laptop. On Monday, bring your laptop to the lab and show the TA how to run JPF. Java code, to be checked by JPF, will be provided on Monday. If you have correctly installed JPF and you can run JPF successfully on the provided code, then you will receive 5% towards the mark for your project (40% in total). Otherwise, you can try again next week (1% penalty per week).

  • Create the app
package lab;
public class HelloWorld
  public static void main(String[] args)
    System.out.println("Hello World!");
  • Run JPF on this app.
  • Run JPF on the HelloWorld class of the default package.
  • Print the state space the created app.
Last modified:
2017/01/30 08:52