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.
