188
Voted
SPIN
1999
Springer
16 years 2 days 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...