A Translation-based Approach to the Verification of Modular Equivalence.

Emilia Oikarinen Tomi Janhunen

Published in: J. Log. Comput. (2009)

Keyphrases

model checking
cross language information retrieval
machine translation
modular neural networks
neural network
formal verification
real time
machine learning
evolutionary algorithm
information retrieval systems
formal analysis
verification method