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 条
  • [21] Designing accessible software for the electronic abacus
    Barker, A
    Sixteenth International Workshop on Database and Expert Systems Applications, Proceedings, 2005, : 896 - 900
  • [22] Developing accessible software for data visualization
    Willuhn, D
    Schulz, C
    Knoth-Weber, L
    Feger, S
    Saillet, Y
    IBM SYSTEMS JOURNAL, 2003, 42 (04) : 652 - 668
  • [23] SOFTWARE COMPONENTS FOR BUILDING ACCESSIBLE APPLICATIONS
    Reveiu, Adriana
    Dardala, Marian
    Smeureanu, Ion
    BUSINESS EXCELLENCE, 2006, : 388 - 394
  • [24] An accessible verification environment for UML models of services
    Banti, Federico
    Pugliese, Rosario
    Tiezzi, Francesco
    JOURNAL OF SYMBOLIC COMPUTATION, 2011, 46 (02) : 119 - 149
  • [25] Verifying the Conversion into CNF in Dafny
    Iordache, Viorel
    Ciobaca, Stefan
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2021), 2021, 13038 : 150 - 166
  • [26] VERIFICATION OF SOFTWARE PROGRAMS
    BUCKLEY, FJ
    COMPUTERS AND AUTOMATION, 1971, 20 (02): : 23 - &
  • [27] Verification of Concurrent Software
    Huisman, Marieke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (261): : 2 - 2
  • [28] Challenges of software verification
    Arceri, Vincenzo
    Negrini, Luca
    Olivieri, Luca
    Ferrara, Pietro
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, 26 (06) : 669 - 672
  • [29] Software verification & validation
    Pierce, P
    NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 265 - 268
  • [30] Software Dataplane Verification
    Dobrescu, Mihai
    Argyraki, Katerina
    COMMUNICATIONS OF THE ACM, 2015, 58 (11) : 113 - 121
12345