Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.

Clemens Fischer Heike Wehrheim

Published in: Bull. EATCS (2000)

Keyphrases

similarity measure
experimental evaluation
computational cost
theoretical analysis
high accuracy
detection method
optimization algorithm
fully automatic
relational databases
significant improvement
dynamic programming
input data
computationally efficient
classification method
formal specification