C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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