Works matching IS 14332779 AND DT 2006 AND VI 8 AND IP 4/5

Results: 12
    1
    2
    3

    The industrialization of formal methods.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 301, doi. 10.1007/s10009-005-0208-7
    By:
    • Fitzgerald, John;
    • Gnesi, Stefania;
    • Mandrioli, Dino
    Publication type:
    Article
    4

    Coverage metrics for formal verification.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 373, doi. 10.1007/s10009-004-0175-4
    By:
    • Chockler, Hana;
    • Kupferman, Orna;
    • Vardi, Moshe
    Publication type:
    Article
    5
    6

    Introductory Paper.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 355, doi. 10.1007/s10009-005-0212-y
    By:
    • Tronci, Enrico
    Publication type:
    Article
    7
    8
    9

    Widening operators for powerset domains.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 449, doi. 10.1007/s10009-005-0215-8
    By:
    • Bagnara, Roberto;
    • Hill, Patricia;
    • Zaffanella, Enea
    Publication type:
    Article
    10

    Proving the shalls.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 303, doi. 10.1007/s10009-004-0173-6
    By:
    • Miller, Steven;
    • Tribble, Alan;
    • Whalen, Michael;
    • Heimdahl, Mats
    Publication type:
    Article
    11

    Putting it all together – Formal verification of the VAMP.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 411, doi. 10.1007/s10009-006-0204-6
    By:
    • Beyer, Sven;
    • Jacobi, Christian;
    • Kröning, Daniel;
    • Leinenbach, Dirk;
    • Paul, Wolfgang
    Publication type:
    Article
    12