Debian Project Mancoosi Project
Debian Quality Assurance

EDOS Tools

The EDOS project was a research project funded by the European Commission that united several academic and industrial project partners concerned with the improvement of the develepment and distribution of Open Source Software. In this project, Workpackage 2 was in particular concerned with the formal analysis of package relationships. Several tools came out of that project, many of which are today maintained by the successor project Mancoosi. See our paper at DebConf8 for further details.

This page describes several checks that are performed using the EDOS tools.

Overview of package analysis in various suites and blends

Tracking filed bug reports

Made by Fabio Mancinelli, Ralf Treinen, and Stefano Zacchiroli. Last modified Wed, 04 Apr 2012 15:58:06 +0200.
Copyright (C) 2006-2010Software in the Public Interest and others; See license terms.