Equivalence Checking on System Level using Stepwise Induction.

Niels Thole Görschwin Fey

Published in: MBMV (2014)

Keyphrases

higher level
multiresolution
levels of abstraction
search engine
evolutionary algorithm