Login / Signup

On the verification of synthesized designs using automatically generated transformational witnesses.

Elena TeicaRajesh RadhakrishnanRanga Vemuri
Published in: DATE (2001)
Keyphrases
  • automatically generated
  • automatically generate
  • manually constructed
  • automatically created
  • automatically generating
  • manually created
  • manually generated
  • model checking
  • high resolution
  • general purpose
  • poor quality