Works matching IS 14332779 AND DT 2015 AND VI 17 AND IP 6

Results: 8
    1

    AutoProof meets some verification challenges.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 745, doi. 10.1007/s10009-014-0300-y
    By:
    • Tschannen, Julian;
    • Furia, Carlo;
    • Nordio, Martin
    Publication type:
    Article
    2
    3

    KIV: overview and VerifyThis competition.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 677, doi. 10.1007/s10009-014-0308-3
    By:
    • Ernst, Gidon;
    • Pfähler, Jörg;
    • Schellhorn, Gerhard;
    • Haneberg, Dominik;
    • Reif, Wolfgang
    Publication type:
    Article
    4

    Let's verify this with Why3.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 709, doi. 10.1007/s10009-014-0314-5
    By:
    • Bobot, François;
    • Filliâtre, Jean-Christophe;
    • Marché, Claude;
    • Paskevich, Andrei
    Publication type:
    Article
    5

    SPARK 2014 and GNATprove.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 695, doi. 10.1007/s10009-014-0322-5
    By:
    • Hoang, Duc;
    • Moy, Yannick;
    • Wallenburg, Angela;
    • Chapman, Roderick
    Publication type:
    Article
    6

    Witnessing the elimination of magic wands.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 757, doi. 10.1007/s10009-015-0372-3
    By:
    • Blom, Stefan;
    • Huisman, Marieke
    Publication type:
    Article
    7

    VerifyThis 2012.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 647, doi. 10.1007/s10009-015-0396-8
    By:
    • Huisman, Marieke;
    • Klebanov, Vladimir;
    • Monahan, Rosemary
    Publication type:
    Article
    8