Configuration Management is an integral requirement of the Software Engineering process.
This paper outlines an approach to Configuration Management specifically tailored to
support formal development of software. A model of VDM developments is defined in which
each development is provided as a configuration of its low level components, such as
operation definitions and formal proofs. Consistency checking is defined on this model to
determine if verification criteria required by the methodology have been carried out. The …

Con guration Management is an integral requirement of the Software Engineering process.
This paper outlines an approach to Con guration Management speci cally tailored to
supporting formal development of software. A model of VDM developments is de ned in
which each development is provided as a con guration of its low level components, such as
operation de nitions and formal proofs. Consistency checking is de ned on this model to
determine if veri cation criteria required by the methodology have been carried out. The …