for Safety Games of Imperfect Information -- Verification of Concurrent Programs --