Supporting the Formal Analysis of Software Systems

The formal analysis support environment, Advanced Design Employing Pattern Templates (ADEPT), is outlined. The use of ADEPT will alleviate the software engineer from the minute details that conducting formal analysis by hand requires. The developer will be able to experiment with a variety of derivations from specifications, architectural structures, and mixtures of quality attributes; thereby, gaining new insight into potential versions of high-quality, verifiable code.