lab7
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
lab7 [2017/02/18 20:30] – franck | lab7 [2020/02/25 19:35] (current) – franck | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | The beam search strategy uses the breadth-first search strategy to build its state space. | + | ====== Lab 4 ====== |
- | {{: | + | Test the listener gov.nasa.jpf.StackDepthChecker. |
- | + | < | |
- | While traversing | + | submit 4315 lab4 <name of class>.java |
- | + | </ | |
- | Create a search strategy, named BeamSearch, which implements the beam search strategy. | + | |
- | + | ||
- | submit 4315 lab7 BeamSearch.java | + | |
lab7.1487449825.txt.gz · Last modified: 2017/02/18 20:30 by franck