Periodic Reporting for period 1 - ALGOCERT (Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems)

One of the main challenges in the development of complex computerized systems lies in verification – the process of ensuring the systems' correctness. Model checking is an approach for system verification in which one uses mathematical reasoning to conduct an algorithmic...