CONVECS team

"The 2020 Expert Survey on Formal Methods" Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol link.springer.com/chapter/10.100…

PhD Thesis Offer "Modelling, optimization and predictive analysis of business processes" jobs.inria.fr/public/classic… #grenoble #computerscience @YliesFalcone @gwensalaun

"Visual Debugging of Behavioural Models", G. Barbon et al., ICSE 2019, preprint available online hal.inria.fr/hal-02145535/en + video youtube.com/watch?v=nJLOnR…

"The Rewrite Engines Competitions: A RECtrospective", F. Duran, H. Garavel, TACAS'19 link.springer.com/chapter/10.100…

"Debugging of Behavioural Models with CLEAR", G. Barbon et al., TACAS'19, pdf available here link.springer.com/chapter/10.100…

Frédéric Lang and Franco Mazzanti Have Won the RERS 2019 Parallel Challenges (ETAPS, TOOLympics) cadp.inria.fr/news12.html

The 15,000th license of CADP has been granted! cadp.inria.fr/usage

New tutorial paper on compositional verification link.springer.com/chapter/10.100…

A new version of the CADP toolbox has been released (2019-a "Pisa") #2019-a.html" target="_blank" rel="nofollow noopener">cadp.inria.fr/changes.html#2…

Happy New Year, everybody! 🥳 Reminder! ⏰@sefm_conf workshop proposal submission deadline is on 11 Jan. 2019. Send us your proposals and be a part of SEFM 2019, Oslo. More details here: sefm2019.inria.fr/workshops/

The CADP verification toolbox (cadp.inria.fr) now works on x64 servers running SunOS 5.1 OpenIndiana "Hipster" @OpenIndiana #illumos

A new version of the CADP toolbox has been released (2018-l "Uppsala") #2018-l" target="_blank" rel="nofollow noopener">cadp.inria.fr/changes.html#2…

A new version of the CADP toolbox has been released (2018-k "Uppsala") #2018-k" target="_blank" rel="nofollow noopener">cadp.inria.fr/changes.html#2…

Job offer in CONVECS: Développement logiciel - outils de vérification jobs.inria.fr/public/classic…

A new version of the CADP toolbox has been released (2018-i "Uppsala") #2018-i" target="_blank" rel="nofollow noopener">cadp.inria.fr/changes.html#2…

A new version of the CADP toolbox has been released (2018-h "Uppsala") #2018-h" target="_blank" rel="nofollow noopener">cadp.inria.fr/changes.html#2…

Scientific program of the 2018 edition of the @convecs seminar (July 10-12, Dullin, Savoie) convecs.inria.fr/events/seminai…

The 2019 edition of SEFM will be organized in Olso (Norway) in mid-september 2019, deadline in Spring 2019 @sefm_conf @olveczky

A new version of the CADP toolbox has been released (2018-f "Uppsala") #2018-f.html" target="_blank" rel="nofollow noopener">cadp.inria.fr/changes.html#2…