eMOP: A Maven Plugin for Evolution-Aware Runtime Verification.

Ayaka Yorihiro Pengyue Jiang Valeria Marqués Benjamin Carleton Owolabi Legunsen

Published in: RV (2023)

Keyphrases

model checking
data sets
neural network
real world
data mining
formal analysis
verification method
functional verification
databases
decision trees
face verification
formal verification
artificial life
concurrent systems