Login / Signup
Are These Pairing Elements Correct?: Automated Verification and Applications.
Susan Hohenberger
Satyanarayana Vusirikala
Published in:
CCS (2019)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
probabilistic model
computer vision
theorem proving