approach. [234] C.A.R. Hoare’s CSP [235] might be used in both detailed design
and in previous phases.
These formal methods for detailed design are most appropriate for—
u Verifying the functionality specified formally in the architecture design