Smart Grids (SGs) are electrical power grid infrastructures that aim at managing both cyber and physical resources and provide efficient energy routing. The cyber part of the system encompasses computing and networking resources, whereas the physical part faces with mechanical and electrical processes. Due to the strong integration and interaction among cyber modules and physical components, the complexity of SGs is increasing. As a consequence, the fulfillment of cyber and physical requirements becomes even more complicated. For example, resilience is an important non-functional requirement that has to be guaranteed. It represents the ability of a system to provide an acceptable level of service under degraded conditions. To achieve that, the adoption of innovative systems engineering tools represent a feasible solution. In this paper, a recent approach based on Properties Modeling (PM) is exploited. Through PM is possible to evaluate cross-information from the Smart Grid to increase the network resilience so as to prevent system damage and, as a consequence, reduce the loss of money. Beyond validating the correctness of the system under specific conditions, properties can also be used to identify anomalies resulting from component interactions or external factors. In this context, some important properties exploitable for monitoring SGs are identified and presented. Furthermore, a Smart Grid Simulator, which allows to execute these properties, has been developed and used to show the effectiveness of properties through a simple case study.