Peter Lindsey

Learn More
This paper describes the implementation of a prototype system that supports fine-grained configuration and version management. The development has been undertaken in the context of providing trusted support for high-integrity software development. The starting point of this paper is a formal specification of the consistency and completeness criteria that(More)
  • 1