JBMC: A Bounded Model Checking Tool for Java Bytecode

被引：0
作者：
Brenguier, Romain [1 ]
Cordeiro, Lucas [2 ]
Kroening, Daniel [1 ,3 ]
Schrammel, Peter [1 ,4 ]
机构：
[1] Diffblue Ltd, United Kingdom
[2] University of Manchester, United Kingdom
[3] University of Oxford, United Kingdom
[4] University of Sussex, Brighton, United Kingdom
来源：
arXiv | 2023年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Semantics
引用
收藏
相关论文
共 50 条
  • [31] Object model in Java: elements and application
    Kuwait University, Dept. of Elec. and Comp. Engineering, P.O. Box 5969, 13060 Safat, Kuwait
    [J]. Inf Software Technol, 1600, 4 (235-241):
  • [32] xdProf: A tool for the capture and analysis of stack traces in a distributed Java system
    Lambert, J.
    Podgurski, A.
    [J]. Proceedings of SPIE - The International Society for Optical Engineering, 2001, 4521 : 96 - 105
  • [33] A CASE tool platform using an XML representation of java source code
    Department of Computer Science, Ritsumeikan University, 1-1-1 Noji-higashi, Kusatsu Shiga 525-8577, Japan
    不详
    不详
    [J]. Proc. Fourth IEEE Int. Workshop Source Code Anal. Manipulation, (158-167):
  • [34] MammoApplet: An interactive Java applet tool for manual annotation in medical imaging
    Mata, Christian
    Oliver, Arnau
    Torrent, Albert
    Martí, Joan
    [J]. IEEE 12th International Conference on BioInformatics and BioEngineering, BIBE 2012, 2012, : 34 - 39
  • [35] TART: Timed-automata to real-time Java Tool
    School of ITEE, University of Queensland, St. Lucia, QLD, Australia
    不详
    [J]. Proc. - Softw. Eng. Form. Methods, SEFM, (299-309):
  • [36] UMM: An operational memory model specification framework with integrated model checking capability
    Yang, Yue
    Gopalakrishnan, Ganesh
    Lindstrom, Gary
    [J]. Concurrency and Computation: Practice and Experience, 17 (5-6 SPEC. ISS.): : 465 - 487
  • [37] A flexible model for dynamic linking in Java and C #
    Drossopoulou, Sophia
    Lagorio, Giovanni
    Eisenbach, Susan
    [J]. Theor Comput Sci, 1600, 1-2 (1-29):
  • [38] Improving the Java memory model using CRF
    MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, United States
    [J]. Proc Cinf Object Orient Program Syst Lang Appl OOPSLA, 10 (1-12):
  • [39] Information flow control using the Java Virtual Machine Tool Interface (JVMTI)
    School of Computing and Mathematics, Charles Sturt University Wagga, Wagga, Australia
    不详
    [J]. ARES - Int. Conf. Availab., Reliab., Secur., (689-695):
  • [40] LeakBot: An automated and lightweight tool for diagnosing memory leaks in large Java applications
    Mitchell, Nick
    Sevitsky, Gary
    [J]. Lect. Notes Comput. Sci., 1600, (351-377):
12345