Login / Signup

Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics.

Satrajit ChatterjeeMichael Kishinevsky
Published in: Formal Methods Syst. Des. (2012)
Keyphrases
  • high level
  • low level
  • statistical models
  • probabilistic model
  • complex systems
  • computational models
  • neural network
  • machine learning
  • computer vision
  • multi agent systems
  • visual features
  • automatically generate