navigation
search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
vv-lab:verifying-habanero-java-with-the-java-pathfinder-model-checker [2015/02/18 22:30] egm |
vv-lab:verifying-habanero-java-with-the-java-pathfinder-model-checker [2015/02/18 22:30] (current) egm |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | The project is part of [http://javapathfinder.org], and it is the [https://jpf.byu.edu/jpf-hj/index.html JPF HJ] project. | + | The project is part of [http://javapathfinder.org http://javapathfineder.org], and it is the [https://jpf.byu.edu/jpf-hj/index.html JPF HJ] project. |
| The goal of this aspect of the research is to modify the Java Pathfinder tool ([http://babelfish.arc.nasa.gov/trac/jpf/wiki JPF]) to efficiently model check Habanero Java programs ([https://wiki.rice.edu/confluence/display/HABANERO/Habanero+Multicore+Software+Research+Project HJ]). It is hoped to learn from studying ways to efficiently model check HJ programs that the results are able to generalize to other mid-level parallel languages. | The goal of this aspect of the research is to modify the Java Pathfinder tool ([http://babelfish.arc.nasa.gov/trac/jpf/wiki JPF]) to efficiently model check Habanero Java programs ([https://wiki.rice.edu/confluence/display/HABANERO/Habanero+Multicore+Software+Research+Project HJ]). It is hoped to learn from studying ways to efficiently model check HJ programs that the results are able to generalize to other mid-level parallel languages. | ||
