An Environment for the ParTraP Trace Property Language (Tool Demonstration)

Document type :
Conference papers
Complete list of metadatas

http://hal.univ-grenoble-alpes.fr/hal-02004420
Contributor : Yves Ledru <>
Submitted on : Friday, February 1, 2019 - 5:21:19 PM
Last modification on : Tuesday, February 5, 2019 - 2:33:49 PM

Identifiers

  • HAL Id : hal-02004420, version 1

Collections

Citation

Ansem Ben Cheikh, Yoann Blein, Salim Chehida, German Vega, Yves Ledru, et al.. An Environment for the ParTraP Trace Property Language (Tool Demonstration). Runtime Verification - 18th International Conference, RV 2018, Nov 2018, Limassol, Cyprus. pp.437-446. ⟨hal-02004420⟩

Share

Metrics

Record views

46