Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.

Dirk Beyer Heike Wehrheim

Published in: CoRR (2019)

Keyphrases

cooperative
main contribution
model checking
artificial intelligence
multi agent systems
database
real time
neural network
data mining
computer vision
lightweight
theoretical framework
face verification
formal methods
formal analysis
fingerprint verification