Login / Signup

Test set coinduction - Toward automated verification of behavioural properties.

Michihiro MatsumotoKokichi 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