Efficient generation of inductive validity cores for safety properties.

Elaheh Ghassabani Andrew Gacek Michael W. Whalen

Published in: SIGSOFT FSE (2016)

Keyphrases

machine learning
neural network
genetic algorithm
information systems
real time
social networks
search algorithm
logic programs
cost effective
computationally expensive
parallel processing
desirable properties
topological properties