Login / Signup

Verification of Programs with Concealed Components.

Sumit Lahiri
Published in: SPLASH Companion (2022)
Keyphrases
  • symbolic execution
  • hardware designs
  • artificial intelligence
  • model checking
  • real time
  • databases
  • building blocks