For example: software architecture

Verification