The process of ensuring that each individual policy is valid. In Policy Management for Autonomic Computing, each policy is checked to ensure that it is syntactically correct and that it references only valid sensors and effectors.