projects
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| projects [2019/01/04 16:30] – franck | projects [2019/02/20 18:47] (current) – franck | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ====== Projects ====== | ====== Projects ====== | ||
| - | Below you find a very brief overview of the projects that students did the last two years. | + | Below you find a very brief overview of the projects that students did the last three years. |
| ====== Alias analysis ====== | ====== Alias analysis ====== | ||
| Line 17: | Line 17: | ||
| The goal is to make the beam search algorithm, developed in one of the labs, customizable. | The goal is to make the beam search algorithm, developed in one of the labs, customizable. | ||
| - | ====== Enhancing the EdlessLoopDetector | + | ====== Enhancing the EndlessLoopDetector |
| - | The goal is to enhance the JPF listener called | + | The goal is to enhance the JPF listener called |
| ====== Extension of jpf-jmt ====== | ====== Extension of jpf-jmt ====== | ||
projects.1546619457.txt.gz · Last modified: by franck