Verification techniques for a network algebra