US8024805B2 - Method and Equipment for Verifying Propriety of System Management Policies to Be Used in a Computer System