Using Slicing to Improve the Performance of Model Invariant Checking - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles The Journal of Object Technology Year : 2015

Using Slicing to Improve the Performance of Model Invariant Checking

Fichier principal
Vignette du fichier
jot_coslicing_cameraready.pdf (2.43 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Identifiers

Cite

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⟩
1318 View
359 Download

Altmetric

Share

More