Formal Methods Meets Readability: Auto-Documenting JML Java Code

Juan Carlos Recio Abad, Ruben Saborido, Francisco Chicano

This paper investigates whether formal specifications using Java Modeling Language (JML) can enhance the quality of Large Language Model (LLM)-generated Javadocs. While LLMs excel…