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 条
  • [41] Platform-Specific Restrictions on Concurrency in Model Checking of Java']Java Programs
    Parizek, Pavel
    Kalibera, Tomas
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 117 - 132
  • [42] Migration of common Lisp programs to the Java']Java platform-the Linj approach
    Menezes Leitao, Antonio
    CSMR 2007: 11TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS: SOFWARE EVOLUTION IN COMPLEX SOFTWARE INTENSIVE SYSTEMS, 2007, : 243 - +
  • [43] Towards Logic-Based Verification of Java']JavaScript Programs
    Santos, Jose Fragoso
    Gardner, Philippa
    Maksimovic, Petar
    Naudziuniene, Daiva
    AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 8 - 25
  • [44] No Java']Java without caffeine -: A tool for dynamic analysis of Java']Java programs
    Guéhéneuc, YG
    Douence, R
    Jussien, N
    ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, : 117 - 126
  • [45] Analysis of Java']Java Programs using Joana and Java']Java SDG API
    Kumar, Ranjan
    Panda, Subhrakanta
    Mohapatra, Durga Prasad
    2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2015, : 2402 - 2408
  • [46] Enabling Static Analysis for Partial Java']Java Programs
    Dagenais, Barthelemy
    Hendren, Laurie
    ACM SIGPLAN NOTICES, 2008, 43 (10) : 313 - 328
  • [47] Purity and side effect analysis for Java']Java programs
    Salcianu, A
    Rinard, M
    VERFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 199 - 215
  • [48] Enabling Static Analysis for Partial Java']Java Programs
    Dagenais, Barthelemy
    Hendren, Laurie
    OOPSLA 2008 NASHVILLE, CONFERENCE PROCEEDINGS: MUSIC CITY USA, OOPSLA, 2008, : 313 - 328
  • [49] Precise Analysis of Java']Java Programs using JOANA
    Giffhorn, Dennis
    Hammer, Christian
    EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2008, : 267 - 268
  • [50] Compositional pointer and escape analysis for Java']Java programs
    Whaley, J
    Rinard, M
    ACM SIGPLAN NOTICES, 1999, 34 (10) : 187 - 206
12345