JAG: JML Annotation Generation for Verifying Temporal Properties - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

JAG: JML Annotation Generation for Verifying Temporal Properties

Résumé

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.

Domaines

Logique en informatique [cs.LO]

Alain Giorgetti  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00114316

Soumis le : jeudi 16 novembre 2006-11:56:11

Dernière modification le : lundi 11 septembre 2023-17:41:18

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM
67 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More