11:00
12:00

Chana Weil-Kennedy (CEA List)

Title: Parameterized Verification of Distributed Systems

Abstract:

I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems like conservative Petri nets, population protocols, reconfigurable broadcast networks and more. Properties of interest for these systems are "parameterized" : for example, is there a number of agents N such that my system instantiated with N agents reaches a bad configuration? I will discuss some results identifying models in which these problems are decidable. I will then present some open questions for parameterized verification of such systems. Finally, I will present my newest research direction which concerns runtime verification of distributed systems, and the hypotheses that can be made on the setting.

https://algodist.labri.fr/index.php/Main/GT

LaBRI 178