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 条
  • [1] Verification of Java']Java Programs with Interacting Analysis Plugins
    Charlton, Nathaniel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 145 : 131 - 150
  • [2] Verification of Java']Java programs with generics
    Stenzel, Kurt
    Grandy, Holger
    Reif, Wolfgang
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2008, 5140 : 315 - 329
  • [3] Verification of Java']Java bytecode using analysis and transformation of logic programs
    Albert, E.
    Gomez-Zamalloa, M.
    Hubert, L.
    Puebla, G.
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 124 - +
  • [4] Towards Verification and Testing of Java']Java Programs
    de Melo, Ana C. V.
    Nunes, Paulo R. F.
    Xavier, Kleber S.
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 730 - 734
  • [5] Specification and verification of encapsulation in Java']Java programs
    Roth, A
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2005, 3535 : 195 - 210
  • [6] Verification of Java programs in Coq
    Department of Computer Science, Royal Holloway University of London, Surrey, United Kingdom
    Comput. Sci. Electron. Eng. Conf., CEEC,
  • [7] Towards Verification of Java']Java Programs in √erICS
    Zbrzezny, Andrzej
    Wozna, Bozena
    FUNDAMENTA INFORMATICAE, 2008, 85 (1-4) : 533 - 548
  • [8] API Conformance Verification for Java']Java Programs
    Li, Xin
    Hoover, H. James
    Rudnicki, Piotr
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 188 - 203
  • [9] The Java']Java Verification Tool KeY:A Tutorial
    Beckert, Bernhard
    Bubel, Richard
    Drodt, Daniel
    Haehnle, Reiner
    Lanzinger, Florian
    Pfeifer, Wolfram
    Ulbrich, Mattias
    Weigl, Alexander
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 597 - 623
  • [10] Automatic verification of Java']Java programs with dynamic frames
    Smans, Jan
    Jacobs, Bart
    Piessens, Frank
    Schulte, Wolfram
    FORMAL ASPECTS OF COMPUTING, 2010, 22 (3-4) : 423 - 457
12345