False Failure: Creating Failure Models for Separation Logic.

Callum Bannister Peter Höfner

Published in: RAMiCS (2018)

Keyphrases

logic programming
statistical models
neural network
artificial intelligence
root cause
database
real time
databases
machine learning
social networks
experimental data
failure modes