Section: Other Grants and Activities
The objective of the Thésée project (2006–2009) is to develop static analysis techniques for proving the absence of runtime errors in asynchronous (real-time) programs. The project is in cooperation with EDF and Airbus France. The main problem is to scale up traditional sequential static analysis methods so as to cope with the combinatorial explosion resulting form the interleaving of communications and interactions through shared variables in a parallel execution of the asynchronous processes. Patrick Cousot and Radhia Cousot are the principal investigators for this action.