Thumbnail Image
Publication

Accessible Formal Methods: A Study of the Java Modeling Language

Journal Title
Keywords
Java Modeling Language
 OpenJML
 Java
 software testing
Readers/Advisors
Journal Title
Term and Year
Publication Date
2017-04-17
Book Title
Publication Volume
Publication Issue
Publication Begin
Publication End
Number of pages
Collections
SUNY Polytechnic Institute College of Engineering
Show all metadata
Files
Thumbnail Image
Rawding-Project-2017.pdf
Adobe PDF, 1.06 MB
Research Projects
Organizational Units
Journal Issue
URI
http://hdl.handle.net/20.500.12648/1101
Abstract
While formal methods offer the highest level of confidence that software behaves as intended, they are notoriously difficult to use. The Java Modeling Language and the associated OpenJML tool aim to make formal specification and verification more accessible to Java developers. This report gives an overview of JML and assesses its current status and usability. Though many common Java features have been implemented, lack of standard library support is identified as an obstacle to using JML effectively. To help address that problem, this report documents the process of adding support for a new library to OpenJML.
Citation
DOI
Description
A project presented to the Department of Computer and Information Sciences State University of New York Polytechnic Institute at Utica.
Accessibility Statement
Embedded videos