projects
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| projects [2019/01/04 16:31] – franck | projects [2019/02/20 18:47] (current) – franck | ||
|---|---|---|---|
| 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.1546619475.txt.gz · Last modified: 2019/01/04 16:31 by franck