Runtime Verification for Hybrid Analysis Tools.

Luan Viet Nguyen Christian Schilling Sergiy Bogomolov Taylor T. Johnson

Published in: RV (2015)

Keyphrases

statistical analysis
machine learning
learning environment
data analysis
artificial neural networks
evolutionary algorithm
formal analysis
analysis tool
data sets
case study
model checking