RESTRICTING DEV-PROMELA WITH A HIERARCHY OF SIMULATION FORMALISMS - Aix-Marseille Université
Proceedings/Recueil Des Communications Année : 2017

RESTRICTING DEV-PROMELA WITH A HIERARCHY OF SIMULATION FORMALISMS

Aznam Yacoub
Claudia Frydman
  • Fonction : Auteur
  • PersonId : 1033834

Résumé

The DEv-PROMELA formalism is a new formalism that allows combining formal verification and discrete event simulation. In this paper, we propose to use a hierarchy of simulation formalisms to restrict the DEV-PROMELA language. From sequential machine to the most expressive DEv-PROMELA formalism, this hierarchy helps designers to design models and to analyze systems in a progressive manner.
Fichier principal
Vignette du fichier
scs17paper.pdf (189.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04232323 , version 1 (09-10-2023)

Identifiants

  • HAL Id : hal-04232323 , version 1

Citer

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman. RESTRICTING DEV-PROMELA WITH A HIERARCHY OF SIMULATION FORMALISMS. 2017. ⟨hal-04232323⟩
9 Consultations
9 Téléchargements

Partager

More