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: SIGSOFT FSE Companion (2024)
Keyphrases
  • model checking
  • information retrieval
  • multiscale
  • face verification
  • databases
  • artificial intelligence
  • computer vision
  • information systems
  • optimal solution
  • artificial neural networks
  • verification method