Actor-Based Runtime Verification with MESA.

Nastaran Shafiei Klaus Havelund Peter C. Mehlitz

Published in: RV (2020)

Keyphrases

formal verification
model checking
database
real world
verification method
multiresolution
face verification
signature verification
person identification
databases
genetic algorithm
expert systems
query processing
probabilistic model