Challenge proposal: verification of refactorings.

Max Schäfer Torbjörn Ekman Oege de Moor

Published in: PLPV (2009)

Keyphrases

neural network
model checking
real time
face verification
data sets
functional verification
computer vision
e learning
image processing
website
case study
evolutionary algorithm
distributed systems
formal verification
high security