RESTRICTING DEV-PROMELA WITH A HIERARCHY OF SIMULATION FORMALISMS - Aix-Marseille Université
Proceedings Year : 2017

RESTRICTING DEV-PROMELA WITH A HIERARCHY OF SIMULATION FORMALISMS

Aznam Yacoub
Claudia Frydman
  • Function : Author
  • PersonId : 1033834

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04232323 , version 1

Cite

Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman. RESTRICTING DEV-PROMELA WITH A HIERARCHY OF SIMULATION FORMALISMS. 2017. ⟨hal-04232323⟩
9 View
7 Download

Share

More