Normal view MARC view ISBD view

Algorithmique de la vérification des systèmes à compteurs [Texte imprimé] : approximation et accélération, implémentation de l'outil FAST / par Jérôme Leroux ; [sous la dir. de Alain Finkel]

Auteur principal : Leroux, Jérôme, 1976-...., AuteurAuteur secondaire : : Finkel, Alain, 1958-...., Directeur de thèseAuteur secondaire collectivité : , Cachan, Val-de-Marne, Organisme de soutenanceLangue :de résumé, Français ; de résumé, Anglais.Publication : [S.l.] : [s.n.], 2003Description : 207 p. ; 30 cmRésumé : 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..Bibliographie: Bibliogr. p. 199-207.Thèse : .Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : RESEAU DE PETRI ;Modèl Checking
Current location Call number Status Date due Barcode
Centre de recherche en informatique
03 LER Sur demande CRI05975D

Publication autorisée par le jury

Bibliogr. p. 199-207

Thèse doctorat Informatique Cachan, Ecole normale supérieure 2003

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.

Powered by Koha