Section: Other Grants and Activities

Regional initiatives

Lorraine Regional Council

We received a grant from the Lorraine Region for two years to fund our exploratory work on the possibility to use formal methods such as model-checking to ensure some properties (such as the lack of deadlocks in any case) of large-scale distributed algorithms (see 6.3.4 ).