IIV: An invisible invariant verifier

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

Research output: Contribution to journalConference article

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

Fingerprint

Invariant

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Balaban, I., Fang, Y., Pnueli, A., & Zuck, L. D. (2005). IIV: An invisible invariant verifier. Lecture Notes in Computer Science, 3576, 408-412.

IIV : An invisible invariant verifier. / Balaban, Ittai; Fang, Yi; Pnueli, Amir; Zuck, Lenore D.

In: Lecture Notes in Computer Science, Vol. 3576, 18.10.2005, p. 408-412.

Research output: Contribution to journalConference article

Balaban, I, Fang, Y, Pnueli, A & Zuck, LD 2005, 'IIV: An invisible invariant verifier', Lecture Notes in Computer Science, vol. 3576, pp. 408-412.
Balaban I, Fang Y, Pnueli A, Zuck LD. IIV: An invisible invariant verifier. Lecture Notes in Computer Science. 2005 Oct 18;3576:408-412.
Balaban, Ittai ; Fang, Yi ; Pnueli, Amir ; Zuck, Lenore D. / IIV : An invisible invariant verifier. In: Lecture Notes in Computer Science. 2005 ; Vol. 3576. pp. 408-412.
@article{da58eb57a5c24e8a8569e35d375678de,
title = "IIV: An invisible invariant verifier",
author = "Ittai Balaban and Yi Fang and Amir Pnueli and Zuck, {Lenore D.}",
year = "2005",
month = "10",
day = "18",
language = "English (US)",
volume = "3576",
pages = "408--412",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - IIV

T2 - An invisible invariant verifier

AU - Balaban, Ittai

AU - Fang, Yi

AU - Pnueli, Amir

AU - Zuck, Lenore D.

PY - 2005/10/18

Y1 - 2005/10/18

UR - http://www.scopus.com/inward/record.url?scp=26444437197&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=26444437197&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:26444437197

VL - 3576

SP - 408

EP - 412

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -