SynCoP

ANR PACS

Parametric Analyses of Concurrent Systems

ANR-14-CE28-0002

PACS

Deliverables

Deliverable Title Due
Task 1 Report on advances on discrete parameter synthesis t0+24 2016/10/01
Task 2 Report on advances on continuous-time parameter synthesis t0+30 2017/04/01
Task 3 Report on advances on parameter synthesis in discrete and timed environments t0+36 2017/10/01
Task 4 Report on advances on parameter synthesis in cost-based models t0+48 2018/10/01
Task 5 Report on advances on parameter synthesis in discrete models with probabilities t0+48 2018/10/01
Task 6 Report on advances on parameter synthesis in timed models with probabilities t0+48 2018/10/01
General Summary of the results of the PACS project t0+48 2018/10/01