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

Consider the following app.

public class ComputeSquareRoot {
    public static void main(String[] args) {
          double data = 3.1415926;
          System.out.println("The square root of " + data + " is " + StrictMath.sqrt(data));
    }
}

  1. Develop a model class so that the above app can be verified with JPF. This Wikipedia page might be helpful.
  2. Develop a native peer so that the above app can be verified with JPF.
Last modified:
2016/02/24 09:05