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));
    }
}
- 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.