Can Regulatory Bodies Expect Efficient Help from Formal Methods?

In the context of EDEMOI - a French national project that proposed the use of semiformal and formal methods to infer the consistency and robustness of aeronautical regulations through the analysis of faithfully representative models- a methodology had been suggested (and applied) to different (safety and security-related) aeronautical regulations. This paper summarizes the preliminary results of this experience by stating which were the methodology's expected benefits, from a scientific point of view, and which are its useful benefits, from a regulatory body's point of view.