Login / Signup
Test set coinduction - Toward automated verification of behavioural properties.
Michihiro Matsumoto
Kokichi Futatsugi
Published in:
WRLA (1998)
Keyphrases
</>
test set
automated verification
error rate
training set
model checking
training data
test data
evaluation methodology
class distribution
test cases
formal verification