8481 articles  [english version]

inria-00073242, version 1

Intensional Approaches for Symbolic Methods

Olga Kushnarenko a, 1, Sophie Pinchinat () b, 1

N° RR-3448 (1998)

Résumé : 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.

  • a –  INRIA
  • b –  Université Rennes I
  • 1 :  EP-ATR (INRIA - IRISA)
  • INRIA – CNRS : UMR6074 – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
  • Domaine : Informatique/Autre
  • Mots-clés : INTENSIONAL TRANSITION SYSTEMS / POLYNOMIALS / (SYMBOLIC) BISIMULATION / SYNCHRONOUS LANGUAGES / EQUIVALENCE CHECKING
  • Référence interne : RR-3448
 
  • inria-00073242, version 1
  • http://hal.inria.fr/inria-00073242
  • oai:hal.inria.fr:inria-00073242
  • Contributeur : Rapport De Recherche Inria <>
  • Soumis le : Mercredi 24 Mai 2006, 12:18:29
  • Dernière modification le : Jeudi 28 Décembre 2006, 16:44:35