A formal study of Free Software distributions
type: Dataset
contact point: Organization
  fn: CCSD
keyword: open-source
keyword: infoinfo-mocomputer-science-csmodeling-and-simulation
keyword: free-software
keyword: theses
keyword: infoinfo-oscomputer-science-csoperating-systems-csos
keyword: infoeu-reposemanticsdoctoralthesis
keyword: logiciel-libre
keyword: assurance-qualite
keyword: formal-methods
keyword: methodes-formelles
keyword: quality-assurance
landing page: https://theses.hal.science/tel-00698622
description: Over the last two decades, free and open source software has grown considerably. Distributions that started out with a few hundred packages now contain tens of thousands of packages, taken from many different sources. This creates problems for quality assurance. The tools and procedures used are no longer suitable for the size and complexity of modem distributions. In this thesis, we start by presenting a mathematical model of the commonalities between the different types of distributions (Debian and RPM) ; notably the concept of packages and the relations between them : dependencies and conflicts. The model is partially formalised using the Coq proof assistant. The model will subsequently be used to propose 'semantic' relations, more appropriate than existing relations for finding and correcting errors in distributions. We will also present algorithms that can be used to efficiently compute these relations, and we will use Coq to formally prove key theorems used by these algorithms Finally, we have validated our algorithms on existing distributions. We will present an analysis that is a result of this validation, as well as a discussion of the 'small world' phenomenon in relation with open source distributions.
identifier: NNT: 2011PA077019
issued: 2026-05-18T09:29:59.101089
language: en
modified: 2026-05-18T09:29:59.101097

A formal study of Free Software distributions
type: Distribution
access URL: https://theses.hal.science/tel-00698622
format: HTML
issued: 2026-05-18T09:29:59.126846
modified: 2026-05-18T09:29:59.064851

test_moissonnage_selune
type: Agent