Extending specification patterns for verification of parametric traces

Document type :
Conference papers
Complete list of metadatas

http://hal.univ-grenoble-alpes.fr/hal-02004378
Contributor : Yves Ledru <>
Submitted on : Friday, February 1, 2019 - 5:05:56 PM
Last modification on : Tuesday, February 5, 2019 - 2:33:50 PM

Identifiers

  • HAL Id : hal-02004378, version 1

Collections

Citation

Yoann Blein, Yves Ledru, Lydie Du-Bousquet, Roland Groz. Extending specification patterns for verification of parametric traces. the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden. pp.10-19. ⟨hal-02004378⟩

Share

Metrics

Record views

27