We support the application of formal methods to the process of developing software. Reuse is an important piece of this software development process. Our aim is to give software engineers access to reusable designs, components and systems developed using formal methods. This paper describes a variety of formal methods tools and techniques, requiring different levels of training and sophistication from their users. The result of applying these tools and techniques will be high assurance, high quality systems composed of reusable building blocks.
Keywords: Reuse, Formal methods, Ada, Reuse libraries
Workshop Goals: To advance the state of the theory and practice
combining formal methods and reuse.
Working Groups: reuse and formal methods, reuse process models,
reuse education.