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

This shows you the differences between two versions of the page.

lab7 [2016/02/24 09:05] (current)
franck created
Line 1: Line 1:
 +Consider the following app.
 +<html>
 +<pre>
 +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));
 +    }
 +}
 +</pre>
 +</html>
 +
 +  - Develop a model class so that the above app can be verified with JPF.  [[https://en.wikipedia.org/wiki/Methods_of_computing_square_roots|This]] Wikipedia page might be helpful.
 +  - Develop a native peer so that the above app can be verified with JPF.
Last modified:
2016/02/24 09:05