November 22, 2021
Results published in November
Specification of formal development demonstrator DOWNLOAD HERE Description: This deliverable describes the rationale and planned structure of the formal methods demonstrator, which is an experiment in exploiting the use of formal analysis for improving the quality of standard interfaces and system requirements definitions. This deliverable is the base for Deliverable D2.5 "Formal development demonstrator prototype, final release". The data resulting from the controlled experiment will be exploited in Deliverable 2.6 "Specification of costs / benefits…