Periodic Reporting for period 3 - SyNET (From Network Verification to Synthesis: Breaking New Ground in Network Automation)

The project is addressing the general challenge of building provably-correct network infrastructures. This is an important challenge as, each year, billions of Euros are lost due to avoidable, human-induced network downtimes. Worse yet, some of these downtimes affect critical...