Intensional Approaches for Symbolic Methods - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1998

Intensional Approaches for Symbolic Methods


We present a behavioral model for discrete event systems based on an intentional formalism, as a possible approach within the broader trend towards rich symbolic representations in verification. We define Intensional Labeled Transition Systems with associated combinators of parallel composition and event hiding, and we propose symbolic bisimulation to handle strong bisimulation intentionally. Further on, we explain how the methodology has been developed for the synchronous language Signal, via the verification tool Sigali.
Fichier principal
Vignette du fichier
RR-3448.pdf (309.54 Ko) Télécharger le fichier

Dates and versions

inria-00073242 , version 1 (24-05-2006)


  • HAL Id : inria-00073242 , version 1


Olga Kushnarenko, Sophie Pinchinat. Intensional Approaches for Symbolic Methods. [Research Report] RR-3448, INRIA. 1998. ⟨inria-00073242⟩
85 View
137 Download


Gmail Facebook X LinkedIn More