verifies the properties of Horus protocol stacks
