4SECURail - Technical Informative Note 15 - Progress Report: Formal development Demonstrator Prototype

Mazzanti F., Belli D.

4securail  Formal methods  Requirements specification 

This Technical Informative Note describes the progress of the activity of Work Package 2 / Task 2.3 in the months 12-17 of the project 4SECURail. The final results of Task 2.3 will be described in Deliverable 2.5, due at month 20 (end of July 2021). This Technical Informative Note is likely to already contain most of the interesting results that will appear in the final deliverable, together with other less important internal progress details that for readability issues will not appear in the final version. The overall final purpose of the whole experimentation is the observation of the impact, in our specific case, i.e. applying our specific tools and methodologies1 to our specific case study2, of the adoption of formal methods towards the improvement of the quality of the system specifications under construction.

Source: Project report, 4SECURail, TIN-FM-15, pp.1–53, 2021