Accessible Software Verification with Dafny

被引：2
|
作者：
Leino, K. Rustan M. [1 ,2 ]
机构：
[1] Microsoft Res, Software Engn Grp, Washington, DC 98052 USA
[2] Imperial Coll Londons, Dept Comp, London, England
来源：
IEEE SOFTWARE | 2017年 / 34卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：94 / 97
页数：4
相关论文
共 50 条
  • [41] Publicly accessible software for groundwater modelling and analysis
    Piggott, AR
    COMPUTERS & GEOSCIENCES, 1999, 25 (04) : 341 - 346
  • [42] Verification Tool of Software Requirement for Network Software
    He, Tao
    Li, Liping
    Li, Huazhong
    INFORMATION COMPUTING AND APPLICATIONS, 2011, 7030 : 545 - +
  • [43] Accessible Software Design: Thinking Outside the Box
    Ortiz, Claudia
    Challiol, Cecilia
    Panessi, Walter
    COMPUTER SCIENCE-CACIC 2023, 2024, 2123 : 272 - 287
  • [44] Accessible software development: a conceptual model proposal
    Sousa e Silva, Joao
    Goncalves, Ramiro
    Branco, Frederico
    Pereira, Antonio
    Au-Yong-Oliveira, Manuel
    Martins, Jose
    UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, 2019, 18 (03) : 703 - 716
  • [45] Accessible software development: a conceptual model proposal
    João Sousa e Silva
    Ramiro Gonçalves
    Frederico Branco
    António Pereira
    Manuel Au-Yong-Oliveira
    José Martins
    Universal Access in the Information Society, 2019, 18 : 703 - 716
  • [46] Innovative software makes LCA accessible to everyone
    Ms D. Hes
    The International Journal of Life Cycle Assessment, 1997, 2 (3) : 170 - 170
  • [47] The Dafny Integrated Development Environment
    Leino, K. Rustan M.
    Wuestholz, Valentin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (149): : 3 - 15
  • [48] Tactics for the Dafny Program Verifier
    Grov, Gudmund
    Tumas, Vytautas
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 36 - 53
  • [49] Encoding Induction Proof in Dafny
    Jiang, Hongjian
    Li, Yongjian
    Tan, Sijun
    Zhao, Yongxin
    2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), 2021, : 95 - 102
  • [50] Developing Verified Programs with Dafny
    Leino, K. Rustan M.
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 82 - 82
12345