In Open MAS, agents can leave and enter the system at run time, interacting with others agents and with the environment. Undesirable behavior can emerge from these interactions. Norms can be used to tame these behaviors, without restricting the agents autonomy. However, the current proposed approaches do not consider geo-referenced aspects for norm verification. This article describes Dominium, an approach for norm specification and verification in Normative MAS, with dynamic and geo-referenced environments. The paper describes the Dominium domain model and norms verification platform architecture.