NuRV: A nuXmv Extension for Runtime Verification.

Alessandro Cimatti Chun Tian Stefano Tonetta

Published in: RV (2019)

Keyphrases

signature verification
artificial intelligence
information systems
query processing
data sets
genetic algorithm
computer vision
objective function
digital images