Works matching IS 14332779 AND DT 2024 AND VI 26 AND IP 2


Results: 7
    1
    2

    Formal Methods for Industrial Critical Systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 127, doi. 10.1007/s10009-024-00744-3
    By:
    • Groote, Jan Friso;
    • Huisman, Marieke
    Publication type:
    Article
    3
    4
    5
    6
    7

    Deductive verification of smart contracts with Dafny.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 131, doi. 10.1007/s10009-024-00738-1
    By:
    • Cassez, Franck;
    • Fuller, Joanne;
    • Antón Quiles, Horacio Mijail
    Publication type:
    Article