Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Ran Chen is a PhD student from Institute of Software (Chinese Academy of Sciences, Beijing, China) visiting the team for 10 months under the supervision of C. Marché and J.-J. Lévy (PiR2 team, Inria Paris). She is working on the formal verification of graphs algorithms, and also in the context of the CoLiS project on verification of some aspects of the Unix file system and shell scripts. [34]

• Cláudio Belo Lourenço is a PhD student from Universidade do Minho, Portugal. He studies deductive verification of imperative programs and the behaviour of different kinds of verification condition generators [101]. The goal of his visit is to use Why3 as a platform for prototyping and experimental evaluation of these generators.

Visits to International Teams

Research Stays Abroad

• F. Faissole has spent two months visiting B. Spitters at Aarhus University (Denmark) They proposed an extension of ALEA library to continuous datatypes.[32].

• M. Roux has spent three months with D. Jovanovic and B. Dutertre at SRI (California, USA). They worked on extending Sally, the new model checker of SRI based on SAL, to add the verification of parameterized cache coherence protocols. The software can be found on https://github.com/SRI-CSL/sally.

• S. Conchon has been invited a month at SRI by D. Jovanovic. During this visit, he has collaborated with CSL researchers to compare the design and implementation choices between the model checkers Sally and Cubicle.