Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?

Bruce W. Watson Derrick G. Kourie Ina Schaefer Loek Cleophas

Published in: ISoLA (1) (2016)

Keyphrases

post hoc
construction process
model checking
data mining
neural network
real world
social networks
computer vision
search algorithm
lower bound
evolutionary algorithm
face verification
formal verification
high security