Verification
System architecture description