Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Algorithmic Complexity of Well-Quasi-Orders

Résumé : Ce document est consacré à l’étude de la complexité algorithmique des beaux pré-ordres, et se concentre particulièrement sur leurs applications en vérification, où ils permettent de raisonner sur des systèmes dotés d’une infinité d’états, car modélisant des variables à valeurs entières, un nombre de processus actifs non borné dans un contexte concurrent, des horloges à valeurs réelles dans un contexte temporisé, des piles d’appels de programmes récursifs, des nonces cryptographiques, ou encore des canaux de communication. Le document présente un cadre théorique pour l’étude de telles complexités, qui inclut la définition de classes de complexité adaptées pour des problèmes de complexité non élémentaire, et des techniques pour établir des bornes supérieures ou inférieures de complexité, ainsi que des exemples pour lesquels ce cadre a pu être appliqué avec succès. En particulier, un exemple frappant de telles applications est celui du problème d’accessibilité dans les systèmes d’addition de vecteurs et les réseaux de Petri, pour lequel ce cadre fournit la première borne supérieure connue.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [229 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01663266
Contributor : Sylvain Schmitz <>
Submitted on : Wednesday, December 13, 2017 - 7:33:38 PM
Last modification on : Thursday, July 2, 2020 - 5:26:02 PM

File

hdr.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License

Identifiers

  • HAL Id : tel-01663266, version 1

Citation

Sylvain Schmitz. Algorithmic Complexity of Well-Quasi-Orders. Logic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017. ⟨tel-01663266⟩

Share

Metrics

Record views

574

Files downloads

336