Login / Signup
Efficient Analysis of Reliability Architectures via Predicate Abstraction.
Marco Bozzano
Alessandro Cimatti
Cristian Mattarei
Published in:
Haifa Verification Conference (2013)
Keyphrases
</>
data sets
databases
machine learning
artificial intelligence
quantitative analysis
automatic analysis
reliability analysis
real time
decision trees
multiscale
learning environment
data analysis
user interface
statistical analysis
computationally expensive