Using Slicing to Improve the Performance of Model Invariant Checking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
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

Attribution - NoDerivatives

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⟩
1300 View
333 Download

Altmetric

Share

Gmail Facebook X LinkedIn More