Diagnosing Abstraction Failure for Separation Logic-Based Analyses.

Josh Berdine Arlen Cox Samin Ishtiaq Christoph M. Wintersteiger

Published in: CAV (2012)

Keyphrases

knowledge representation
statistical analysis
multi agent
machine learning
website
case study
real world
multimedia
database systems
reinforcement learning
natural language
state space
failure rate
root cause
success or failure
component failures