Counterexample-Guided Error-Repair Framework

  • Kai-hui Chang
  • Igor L. Markov
  • Valeria Bertacco
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 32)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • Kai-hui Chang
    • 1
  • Igor L. Markov
    • 1
  • Valeria Bertacco
    • 1
  1. 1.Dept. Electrical Engineering & Computer ScienceUniversity of MichiganAnn ArborUSA

Personalised recommendations