An Environment for the ParTraP Trace Property Language (Tool Demonstration) - Université Grenoble Alpes Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

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 .
Fichier principal
Vignette du fichier
BenCheikhRV2018.pdf (1.42 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02004420 , version 1 (25-10-2019)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Ansem Ben Cheikh 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⟩
120 Consultations
186 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More