IIV: An invisible invariant verifier

Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish (US)
Pages (from-to)408-412
Number of pages5
JournalLecture Notes in Computer Science
Volume3576
DOIs
StatePublished - 2005
Event17th International Conference on Computer Aided Verification, CAV 2005 - Edinburgh, Scotland, United Kingdom
Duration: Jul 6 2005Jul 10 2005

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this