Login / Signup

Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification.

Mark D. AagaardMiriam Leeser
Published in: CAV (1992)
Keyphrases
  • logic synthesis
  • quantum computing
  • databases
  • knowledge base
  • model checking
  • multi valued