Proving Nontermination via Safety.

Hong Yi Chen Byron Cook Carsten Fuhs Kaustubh Nimkar Peter W. O'Hearn

Published in: TACAS (2014)

Keyphrases

data sets
case study
real time
neural network
learning algorithm
high level
feature extraction
multiscale
management system
traffic accidents
coal mining