102
click to vote
SPIN
1999
Springer
15 years 7 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...