Works matching DE "INTERACTIVE proof methods"

Results: 3
    1

    Coqoon: An IDE for interactive proof development in Coq.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 125, doi. 10.1007/s10009-017-0457-2
    By:
    • Faithfull, Alexander;
    • Bengtson, Jesper;
    • Tassi, Enrico;
    • Tankink, Carst
    Publication type:
    Article
    2

    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
    3