Rigorous verification of feasibility.

Ferenc Domes Arnold Neumaier

Published in: J. Glob. Optim. (2015)

Keyphrases

practical application
formal verification
case study
model checking
face verification
formal methods
asynchronous circuits
verification method
database
databases
objective function
feature vectors
mathematical foundations