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

    VL - 3576

    SP - 408

    EP - 412

    JO - Lecture Notes in Computer Science

    JF - Lecture Notes in Computer Science

    SN - 0302-9743

    ER -