skip to main content

Algorithmique de la vérification des systèmes à compteurs : approximation et accélération, implémentation de l'outil FAST

Leroux, Jérôme (1976-....) ; Finkel, Alain (1958-....) ; École normale supérieure Cachan, Val-de-Marne

S.l. : s.n., 2003

Voir les exemplaires

  • Titre:
    Algorithmique de la vérification des systèmes à compteurs : approximation et accélération, implémentation de l'outil FAST
  • Auteur: Leroux, Jérôme (1976-....)
  • Autre(s) auteur(s): Finkel, Alain (1958-....) ;
    École normale supérieure Cachan, Val-de-Marne
  • Sujets: Logiciels -- Vérification ;
    RESEAU DE PETRI ;
    Modèl Checking ;
    H-INF.TH.
  • Description: Thèse doctorat
    L'objectif de cette thèse est d'apporter de nouvelles méthodes pour vérifier des propriétés d'accessibilité de systèmes à compteurs. Nous employons le mot "méthode" pour désigner un ensemble de théorèmes fondamentaux situant les problèmes décidables et indécidables ainsi que leurs complexités, un ensemble de théorèmes d'algorithmique ainsi que des heuristiques, choisies après expérimentations, permettant d'implémenter avec efficacité les théorèmes précédents. Ces méthodes ont été implémentées dans un nouvel outil FAST.
  • Éditeur: S.l. : s.n.
  • Date de publication: 2003
  • Format: 207 p. ; 30 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré