SynCoP

SynCoP aims at bringing together researchers working on verification and parameter synthesis for systems with discrete or continuous parameters, in which the parameters influence the behavior of the system in ways that are complex and difficult to predict. Such problems may arise for real-time, hybrid or probabilistic systems in a large variety of application domains. The parameters can be continuous (e.g., timing, probabilities, costs) or discrete (e.g., number of processes). The goal can be to identify suitable parameters to achieve desired behavior, or to verify the behavior for a given range of parameter values. Systems composed of a finite but possibly arbitrary number of identical components occur everywhere from hardware design (e.g., cache coherence protocols) to distributed applications (e.g., client-server applications). Parameterized verification is the task of verifying the correctness of this kind of systems regardless the number of their components.

Steering committee

• Étienne André
• Benoit Delahaye
• Giorgio Delzanno
• Peter Habermehl
• Kim Guldstrand Larsen
• Engel Lefaucheux
• Didier Lime
• Wojciech Penczek
• Laure Petrucci

Former steering committee members

• Parosh Abdulla
• Loïg Jezequel
• Jaco van de Pol
• etc.