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 条
  • [31] Formal verification of protocol properties of sequential java programs
    College of Computer Science and Technology, Jilin University, 2699 Qianjin Street, Changchun, 130012, China
    Proc Int Comput Software Appl Conf, (475-482):
  • [32] A dynamic logic for the formal verification of java card programs
    Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, Karlsruhe
    D-76128, Germany
    Lect. Notes Comput. Sci., 1600, (6-24):
  • [33] Formal analysis of Java']Java programs in Java']JavaFAN
    Farzan, A
    Chen, F
    Meseguer, J
    Rosu, G
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 501 - 505
  • [34] Automatic Verification of C and Java']Java Programs: SV-COMP 2019
    Beyer, Dirk
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 133 - 155
  • [35] Using Krakatoa for Teaching Formal Verification of Java Programs
    Divasón, Jose
    Romero, Ana
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11758 LNCS : 37 - 51
  • [36] Formal verification of concurrent and distributed constraint-based Java']Java programs
    Ramirez, R
    Santosa, AE
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 76 - 84
  • [37] UML interaction model-driven runtime verification of Java']Java programs
    Li, X.
    Qiu, X.
    Wang, L.
    Chen, X.
    Zhou, Z.
    Yu, L.
    Zhao, J.
    IET SOFTWARE, 2011, 5 (02) : 142 - 156
  • [38] Dynamic Purity Analysis for Java']Java Programs
    Xu, Haiying
    Pickett, Christopher J. F.
    Verbrugge, Clark
    PASTE'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN- SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS & ENGINEERING, 2007, : 75 - 82
  • [39] Dependence analysis for recursive Java']Java programs
    Xu, BW
    Chen, ZQ
    ACM SIGPLAN NOTICES, 2001, 36 (12) : 70 - 76
  • [40] Exception analysis for multithreaded Java']Java programs
    Ryu, SY
    Yi, KK
    SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 23 - 30
12345