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

Results: 8

    • 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

    • 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

    • 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

    • Solving the VerifyThis 2012 challenges with VeriFast.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9
      By:
      • Jacobs, Bart;
      • Smans, Jan;
      • Piessens, Frank
      Publication type:
      Article

    • 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

    • Implementation-level verification of algorithms with KeY.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 729, doi. 10.1007/s10009-013-0293-y
      By:
      • Bruns, Daniel;
      • Mostowski, Wojciech;
      • Ulbrich, Mattias
      Publication type:
      Article

    • 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

    • 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