Verification of Java programs in Coq

被引：0
|
作者：
Department of Computer Science, Royal Holloway University of London, Surrey, United Kingdom [1 ]
机构：
来源：
Comput. Sci. Electron. Eng. Conf., CEEC |
关键词：
721.1 Computer Theory; Includes Formal Logic; Automata Theory; Switching Theory; Programming Theory - 723 Computer Software; Data Handling and Applications - 723.1 Computer Programming - 723.1.1 Computer Programming Languages;
D O I：
5606499
中图分类号：
学科分类号：
摘要：
24
引用
收藏
相关论文
共 50 条
  • [1] Computational Verification of Network Programs in Coq
    Stewart, Gordon
    [J]. CERTIFIED PROGRAMS AND PROOFS, CPP 2013, 2013, 8307 : 33 - 49
  • [2] A Coq Library for Verification of Concurrent Programs
    Affeldt, Reynald
    Kobayashi, Naoki
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 199 (199) : 17 - 32
  • [3] Verification of Java']Java programs with generics
    Stenzel, Kurt
    Grandy, Holger
    Reif, Wolfgang
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2008, 5140 : 315 - 329
  • [4] Towards Verification and Testing of Java']Java Programs
    de Melo, Ana C. V.
    Nunes, Paulo R. F.
    Xavier, Kleber S.
    [J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 730 - 734
  • [5] Specification and verification of encapsulation in Java']Java programs
    Roth, A
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2005, 3535 : 195 - 210
  • [6] Towards Verification of Java']Java Programs in √erICS
    Zbrzezny, Andrzej
    Wozna, Bozena
    [J]. FUNDAMENTA INFORMATICAE, 2008, 85 (1-4) : 533 - 548
  • [7] API Conformance Verification for Java']Java Programs
    Li, Xin
    Hoover, H. James
    Rudnicki, Piotr
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 188 - 203
  • [8] Modular Verification of Programs with Effects and Effect Handlers in Coq
    Letan, Thomas
    Regis-Gianas, Yann
    Chifflier, Pierre
    Hiet, Guillaume
    [J]. FORMAL METHODS, 2018, 10951 : 338 - 354
  • [9] Automatic verification of Java']Java programs with dynamic frames
    Smans, Jan
    Jacobs, Bart
    Piessens, Frank
    Schulte, Wolfram
    [J]. FORMAL ASPECTS OF COMPUTING, 2010, 22 (3-4) : 423 - 457
  • [10] Verification of Java']Java Programs with Interacting Analysis Plugins
    Charlton, Nathaniel
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 145 : 131 - 150
12345