Consider the following app. <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>

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.