Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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. ​
vv-lab/verifying-habanero-java-with-the-java-pathfinder-model-checker.txt ยท Last modified: 2015/02/18 22:30 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0