Toward Formal Verification of a Map Copy Method.

Sarah Blankenship

Published in: SIGCSE (2021)

Keyphrases

classification method
support vector machine
formal verification
data sets
significant improvement
clustering method
experimental evaluation