PAPERS

Title:Formal Verification at Higher Levels of Abstraction
Links:Document as PDF
Authors:Daniel Kroening EMail
Sanjit A. Seshia
Remarks:
Topics:

Bibtex:

@inproceedings{ks2007-iccad,
  AUTHOR    = { Kroening, Daniel
                and Seshia, Sanjit A. },
  TITLE     = { Formal Verification at Higher Levels of Abstraction  },
  BOOKTITLE = { Proceedings of ICCAD 2007 },
  NOTE      = { Tutorial },
  YEAR      = { 2007 },
  PUBLISHER = { IEEE },
  PAGES     = { 572--578 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.