Automated formal reasoning about AWS systems.

Published in: FMCAD (2017)

Keyphrases

management system
formal methods
data sets
decision trees
distributed systems
neural network
data mining
machine learning
genetic algorithm
expert systems
data model
building blocks
complex systems
semi automated