lab8
This is an old revision of the document!
Lab 8
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>
- Develop a model class so that the above app can be verified with JPF. This Wikipedia page might be helpful.
- Develop a native peer so that the above app can be verified with JPF.
To receive feedback, submit your code using the submit command before Tuesday March 7: submit 4315 lab8 <name of class>.java
lab8.1488556539.txt.gz · Last modified: 2017/03/03 15:55 by franck