lab8
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
lab8 [2016/03/02 19:31] – franck | lab8 [2016/03/03 13:46] (current) – franck | ||
---|---|---|---|
Line 58: | Line 58: | ||
</ | </ | ||
</ | </ | ||
+ | That is, JPF reports the maximum amount of nondeterminism (maximum number of outgoing transitions from any state of the system under test). | ||
Apart from the classes that have been discussed in the lectures, also the class ChoiceGenerator, | Apart from the classes that have been discussed in the lectures, also the class ChoiceGenerator, | ||
lab8.1456947083.txt.gz · Last modified: 2016/03/02 19:31 by franck