What is the Method in Formal Methods?

Published in: FORTE (1991)

Keyphrases

formal methods
detection method
high accuracy
similarity measure
cost function
objective function
probabilistic model
artificial intelligence
preprocessing
pairwise
significant improvement
support vector machine
software engineering