CitedEvidence
Research workspace
/
Pricing
Workspace
Deep Research and Reading
History
My Library
PhD Corner
Team Manager
Research & Review
Proposal & Literature Studio
Systematic Review
Reviewer
Thesis, Proposal, Manuscript
Updated: 16/06/2026
Articles & Journals Search
Research Notes
Chat with PDF
Research Agents
Writing & Publishing
AI Everything Writer
AI Writer
Thesis to Manuscript Converter
Updated: 12/06/2026
Citation Generator
AI Thesis
AI Humanizer
Paraphraser
Data & Analysis
Smart AI Data Analysis
Data Collection Tools
Utilities
Research PDF Tools
AI Detector
Account
Billing
Affiliate program
User Settings
Theme Settings
Home
/
Papers
/
JBMC: Bounded Model Checking for Java Bytecode
Open Access
Book Chapter
10.1007/978-3-030-17502-3_17
JBMC: Bounded Model Checking for Java Bytecode
Lucas C. Cordeiro
,
Daniel Kroening
,
Peter Schrammel
-
2019-01-01
-
Lecture notes in computer science
21
PDF
Chat with Paper
Explain Abstract of this paper
Conclusions from the paper
Results of this paper
Show more ∨
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Show more ∨
Abstract
References (5)
Cited By (21)
No abstract available for this paper.
Keywords
Computer science
Java bytecode
Programming language
Bytecode
Java
Model checking
Bounded function
Java Modeling Language
Chat
Click to start Chat
Explain Abstract
Conclusions
Limitations
Future works
Results
Methods used
Add to Reference Manager
0
Research Notes