Using Slicing to Improve the Performance of Model Invariant Checking - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue The Journal of Object Technology Année : 2015

Using Slicing to Improve the Performance of Model Invariant Checking

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
jot_coslicing_cameraready.pdf (2.43 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Benoit Combemale  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 22 juillet 2015-12:52:15

Dernière modification le : mardi 19 novembre 2024-15:02:03

Archivage à long terme le : vendredi 23 octobre 2015-10:51:33

Télécharger pour visualiser

Dates et versions

hal-01179369 , version 1 (22-07-2015)

Licence

Paternité - Pas de modifications

Identifiants

Citer

Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, et al.. Using Slicing to Improve the Performance of Model Invariant Checking. The Journal of Object Technology, 2015, pp.28. ⟨10.5381/jot.2015.14.4.a1⟩. ⟨hal-01179369⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-INSA-R CENTRALESUPELEC IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES ANR UR1-MATH-NUM
1318 Consultations
359 Téléchargements

Altmetric

Partager

More