skip to content

EECS4315

User Tools

Log In

Site Tools

Recent Changes
Media Manager
Sitemap

You are here: Mission Critical Systems » Lab 8

Trace:

lab8

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Lab 8 ======


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.

To receive feedback, submit your code using the submit command before Tuesday March 7:\\
submit 4315 lab8 <name of class>.java

lab8.txt · Last modified: 2017/03/03 15:55 by franck

Page Tools

Show page
Old revisions
Backlinks
Back to top