Formal Methods (taxonomy and survey), Proposed Methods and Applications

Output of Task 5.2.1 and Task 5.2.2, This deliverable describes the principle of the classification, provides the results of the survey, the proposed methods and their possible application.