CitedEvidence
Pricing
Deep Research and Reading
My Library
AI Everything Writer
Updated
Proposal & Literature Studio
Systematic Review
Updated: 03/05/2026
Manuscript Reviewer
Updated
Thesis to Manuscript
New
PhD Corner
New
Smart AI Data Analysis
Updated: 11/05/2026
Articles & Journals Search
Data Collection Tools
Beta
Research Notes
Chat with PDF
Research PDF Tools
Beta
Citation Generator
AI Thesis
AI Humanizer
AI Detector
Paraphraser
Research Agents
Team Manager
View Subscription
User Settings
Color Theme
Home
/
Papers
/
JAG: JML Annotation Generation for Verifying Temporal Properties
Book Chapter
10.1007/11693017_27
JAG: JML Annotation Generation for Verifying Temporal Properties
Alain Giorgetti
,
Julien Groslambert
-
2006-01-01
-
Lecture notes in computer science
15
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 (8)
Cited By (15)
No abstract available for this paper.
Keywords
Computer science
Java
Programming language
Annotation
Artificial intelligence
Chat
Click to start Chat
Explain Abstract
Conclusions
Limitations
Future works
Results
Methods used
Hide
Add to Reference Manager
0
Research Notes
Support