Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

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 .
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.univ-grenoble-alpes.fr/hal-02004420
Contributeur : Yves Ledru <>
Soumis le : vendredi 25 octobre 2019 - 11:16:32
Dernière modification le : vendredi 7 août 2020 - 03:02:38
Archivage à long terme le : : dimanche 26 janvier 2020 - 13:57:22

Fichier

BenCheikhRV2018.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

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⟩

Partager

Métriques

Consultations de la notice

147

Téléchargements de fichiers

203