Incremental Algorithms for Inter-procedural Analysis of Safety Properties.

Christopher L. Conway Kedar S. Namjoshi Dennis Dams Stephen A. Edwards

Published in: CAV (2005)

Keyphrases

decision trees
desirable properties
real world
machine learning
search engine
bayesian networks
object oriented