ENDO - Design Protocol Verification