Login / Signup
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics.
Satrajit Chatterjee
Michael Kishinevsky
Published in:
CAV (2010)
Keyphrases
</>
high level
statistical models
machine learning
low level
probabilistic model
feature selection
feature vectors
prior knowledge
neural network
genetic algorithm
model selection
complex systems
communication systems
automatically generate