Formal verification of a theory of packages

Boender, Jaap (2011) Formal verification of a theory of packages. ECEASST, 48 . [Article]

[img] PDF - Published version (with publisher's formatting)
Restricted to Repository staff and depositor only

Download (189kB)

Abstract

Over the years, open source distributions have become increasingly large and complex---as an example, the latest Debian distribution contains almost 30 000 packages.

Consequently, the tools that deal with these distribution have also become more and more complex. Furthermore, to deal with increasing distribution sizes optimisation has become more important as well.

To make sure that correctness is not sacrificed for complexity and optimisation, it is important to verify the underlying assumptions formally.

In this paper, we present an example of such a verification: a formalisation in
Coq of a theory of packages and their interdependencies.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 15831
Notes on copyright: Access to full text restricted pending copyright check. Journal has an open access policy: http://journal.ub.tu-berlin.de/eceasst/about/editorialPolicies#openAccessPolicy
Depositing User: Jaap Boender
Date Deposited: 11 May 2015 10:41
Last Modified: 25 Jun 2021 18:36
URI: https://eprints.mdx.ac.uk/id/eprint/15831

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
2Downloads
374Hits

Additional statistics are available via IRStats2.