A formal specification animation method for operation validation.

Shaoying Liu Weikai Miao

Published in: J. Syst. Softw. (2021)

Keyphrases

formal specification
similarity measure
machine learning
database systems
objective function
reverse engineering