ERC Advanced Grant · 2022
Compositional Higher-Order Reasoning about Distributed Systems
Software systems are critical for the infrastructure of modern society and software errors and security breaches pose enormous costs and risks. The traditional method of testing software systems is famously inadequate for guaranteeing the absence of errors and security breaches since not all execution paths are covered by testing. This is espcially true for concurrent and distributed systems, where there are simply too many execution paths to test, and it has motivated research in formal methods for program verification that can offer mathematical proofs that all system behaviors meet some desirable property. To formally analyze and reason about software systems it is important to consider…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.