A system for analysis and verification of software design

This paper discusses the Integrated Design Analysis Programs (IDAP) system, which is currently being developed at BCS. The objectives of this system are to automate the specification, analysis, and verification of software design. This paper discusses the design representation schemes used in the IDAP framework, and the capabilities of the system being developed.