Periodic Reporting for period 3 - SVIS (Supervised Verification of Infinite-State Systems)

The SVIS project addresses the problem of formally verifying the correctness of software and hardware systems. As modern society relies more and more on computing for managing highly complex and safety-critical tasks (e.g., in medicine, avionics, economy, etc.), ensuring the...