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

Ansem Ben Cheikh 1 Yoann Blein 1 Salim Chehida 1 German Vega 2, 1 Yves Ledru 1 Lydie Du Bousquet 1
1 LIG Laboratoire d'Informatique de Grenoble - VASCO
LIG - Laboratoire d'Informatique de Grenoble
2 LIG Laboratoire d'Informatique de Grenoble - ADELE
LIG - Laboratoire d'Informatique de Grenoble
Abstract : We present ParTraP and its associated toolset, supporting a lightweight approach to formal methods. In critical systems, such as medical systems, it is often easy to enhance the code with tracing information. ParTraP is an expressive language that allows to express properties over traces of parametric events. It is designed to ease the understanding and writing of properties by software engineers without background in formal methods. In this tool demonstration, we will present the language and its toolset: compiler, syntax directed editor, and a prototype generator of examples and counterexamples. Abstract. We present ParTraP and its associated toolset, supporting a lightweight approach to formal methods. In critical systems, such as medical systems, it is often easy to enhance the code with tracing information. ParTraP is an expressive language that allows to express properties over traces of parametric events. It is designed to ease the understanding and writing of properties by software engineers without background in formal methods. In this tool demonstration, we will present the language and its toolset: compiler, syntax directed editor, and a prototype generator of examples and counterexamples .
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

http://hal.univ-grenoble-alpes.fr/hal-02004420
Contributor : Yves Ledru <>
Submitted on : Friday, October 25, 2019 - 11:16:32 AM
Last modification on : Tuesday, October 29, 2019 - 11:16:15 AM

File

BenCheikhRV2018.pdf
Files produced by the author(s)

Licence


Copyright

Identifiers

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, ⟨10.1007/978-3-030-03769-7_26⟩. ⟨hal-02004420⟩

Share

Metrics

Record views

90

Files downloads

59