Towards Multidimensional Verification: Where Functional Meets Non-Functional.

Maksim Jenihhin Xinhui Lai Tara Ghasempouri Jaan Raik

Published in: CoRR (2019)

Keyphrases

multi dimensional
functional verification
real time
optimal solution
data sets
databases
machine learning
genetic algorithm
computer vision
decision making
image sequences
wide range
information technology
formal verification