JAG: JML Annotation Generation for Verifying Temporal Properties - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

JAG: JML Annotation Generation for Verifying Temporal Properties

Abstract

We present a tool for verifying temporal properties on Java/ JML classes by generating automatically JML annotations that ensure the verification of the temporal properties.
No file

Dates and versions

inria-00114316 , version 1 (16-11-2006)

Identifiers

Cite

Alain Giorgetti, Julien Groslambert. JAG: JML Annotation Generation for Verifying Temporal Properties. 9th International Conference on Fundamental Approaches to Software Engineering - FASE'2006, Mar 2006, Vienna/Austria, pp.373--376, ⟨10.1007/11693017⟩. ⟨inria-00114316⟩
63 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More