The KeY platform for verification and analysis of Java programs

被引：31
|
作者：
机构：
[1] Ahrendt, Wolfgang
[2] Beckert, Bernhard
[3] Bruns, Daniel
[4] Bubel, Richard
[5] Gladisch, Christoph
[6] Grebing, Sarah
[7] Hähnle, Reiner
[8] Hentschel, Martin
[9] Herda, Mihai
[10] Klebanov, Vladimir
[11] Mostowski, Wojciech
[12] Scheben, Christoph
[13] Schmitt, Peter H.
[14] Ulbrich, Mattias
来源：
Bruns, Daniel (bruns@kit.edu) | 1600年 / Springer Verlag卷 / 8471期
关键词：
Formal verification;
D O I：
10.1007/978-3-319-12154-3_4
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [11] Towards the automated verification of multithreaded Java']Java programs
    Delzanno, G
    Raskin, JF
    Van Begin, L
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 173 - 187
  • [12] Specification and Runtime Verification of Java']Java Card Programs
    da Costa, Umberto Souza
    Moreira, Anamaria Martins
    Musicante, Martin A.
    Souza Neto, Placido A.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 240 : 61 - 78
  • [13] Verification of Java']JavaSpaces™ parallel programs
    van de Pol, J
    Espada, MV
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 196 - 205
  • [14] Formal verification of protocol properties of sequential Java']Java programs
    Jin, Ying
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 475 - 482
  • [15] On-Device Control Flow Verification for Java']Java Programs
    Fontaine, Arnaud
    Hym, Samuel
    Simplot-Ryl, Isabelle
    ENGINEERING SECURE SOFTWARE AND SYSTEMS, 2011, 6542 : 43 - 57
  • [16] Constraint based Testing and Verification of Java']Java Bytecode Programs
    Achour, Safaa
    Benattou, Mohammed
    2018 IEEE 5TH INTERNATIONAL CONGRESS ON INFORMATION SCIENCE AND TECHNOLOGY (IEEE CIST'18), 2018, : 64 - 69
  • [17] A dynamic Logic for the formal verification of Java']Java Card programs
    Beckert, B
    JAVA ON SMART CARDS: PROGRAMMING AND SECURITY, 2001, 2041 : 6 - 24
  • [18] Verification of Snapshot Isolation in Transactional Memory Java']Java Programs
    Dias, Ricardo J.
    Distefano, Dino
    Seco, Joao Costa
    Lourenco, Joao M.
    ECOOP 2012 - OBJECT-ORIENTED PROGRAMMING, 2012, 7313 : 640 - 664
  • [19] A Framework for the Cryptographic Verification of Java']Java-like Programs
    Kuesters, Ralf
    Truderung, Tomasz
    Graf, Juergen
    2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2012, : 198 - 212
  • [20] Using Krakatoa for Teaching Formal Verification of Java']Java Programs
    Divason, Jose
    Romero, Ana
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 37 - 51
12345