Login / Signup

Are These Pairing Elements Correct?: Automated Verification and Applications.

Susan HohenbergerSatyanarayana Vusirikala
Published in: CCS (2019)
Keyphrases
  • automated verification
  • model checking
  • automated reasoning
  • formal verification
  • probabilistic model
  • computer vision
  • theorem proving