Periodic Reporting for period 1 - SAFE (Safety Analysis of Concurrent Systems)

The objective of the ERC PoC SAFE (ga. no. 966733) was to significantly broaden the applicability of a software solution developed in the course the ERC CoG SYMBIOSYS (ga. no. 647295) to wider ranges of software and assess the commercial viability of such a technology. The...