NodeMOP: runtime verification for Node.js applications.

Filippo Schiavio Haiyang Sun Daniele Bonetta Andrea Rosà Walter Binder

Published in: SAC (2019)

Keyphrases

model checking
graph structure
probabilistic model
search algorithm
signature verification
database
artificial intelligence
social networks
image sequences
cooperative
relational databases
tree structure
face verification
formal verification
fingerprint verification