Login / Signup

How We Built Cedar: A Verification-Guided Approach.

Craig DisselkoenAaron ElineShaobo HeKyle HeadleyMichael HicksKesha HietalaJohn H. KastnerAnwar MamatMatt McCutchenNeha RungtaBhakti ShahEmina TorlakAndrew Wells
Published in: CoRR (2024)
Keyphrases
  • model checking
  • machine learning
  • artificial intelligence
  • clustering algorithm
  • case study
  • information retrieval