Search results
From Event-B
Jump to navigationJump to searchCreate the page "Laurent" on this wiki! See also the search results found.
Page title matches
- Laurent Voisin ([[Systerel]], France)37 bytes (4 words) - 09:58, 4 March 2009
- 5 KB (571 words) - 13:38, 28 January 2009
Page text matches
- Laurent Voisin ([[Systerel]], France)37 bytes (4 words) - 09:58, 4 March 2009
- * [[User:Laurent|Laurent Voisin]]541 bytes (71 words) - 15:31, 21 November 2014
File:Theory Plug-in for Rodin 3.x.pdf ...y plug-in for Rodin 3.x (Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin)(100 KB) - 20:50, 30 April 2020- '''09:30 - 11:00''' Session 1 — ''Session Chair: Laurent Voisin'' * Rodin: two years of updates — ''Guillaume Verdier, Laurent Voisin, Idir Ait-Sadoune''3 KB (375 words) - 15:36, 26 May 2023
- :[[User:Nicolas/Collections/ADVANCE D3.4 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :* Core Rodin platform (Laurent Voisin/Nicolas Beauger)5 KB (780 words) - 14:57, 6 October 2014
- :[[D45 Introduction|Introduction]] (Laurent Voisin) :*Improved performance (Laurent Voisin, Nicolas Beauger, Thomas Muller)5 KB (732 words) - 08:31, 14 February 2012
- :[[ADVANCE D3.3 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :* Core Rodin platform (Laurent Voisin/Nicolas Beauger)6 KB (830 words) - 13:21, 7 October 2013
- Laurent Voisin, Systerel Laurent Voisin and5 KB (766 words) - 09:59, 21 September 2011
- * Laurent Voisin and Minh-Thang Khuu: ''Domain Specific Event-B Modeling'' Laurent Voisin, Systerel4 KB (521 words) - 13:15, 13 June 2013
- | || || Thang Khuu, Laurent Voisin, Fernando Mejia | 16h00 - 17h20 || <b>Tool use</b> (Chair: Laurent Voisin)8 KB (1,073 words) - 06:13, 24 June 2014
- :[[ADVANCE D3.2 Introduction|Introduction]] (Laurent Voisin/Thomas Muller) :* Integrated provers (Laurent Voisin/Thomas Muller)6 KB (894 words) - 09:47, 5 June 2012
- ...lug-in for Rodin 3.x - ''Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin'' ([[Media:Theory Plug-in for Rodin 3.x.pdf|pdf]], [[Media:Theory Pl Laurent Voisin, Systerel5 KB (664 words) - 18:29, 6 June 2016
- :[[D32 Introduction|Introduction]] (Laurent Voisin) :* Improve WD for simpler POs (Laurent Voisin)5 KB (699 words) - 14:52, 30 November 2010
- <p>Laurent Voisin, R&D Manager, [https://www.systerel.fr/en/ Systerel]</p>3 KB (368 words) - 12:49, 15 April 2024
- ...le </span> || || 14th January 2022|| [mailto:lvoisin@users.sourceforge.net Laurent Voisin] || Automatic prover using SMT solvers ...</span>|| 2.5.x || 27th May 2015 || [mailto:lvoisin@users.sourceforge.net Laurent Voisin] || generates a Latex documentation of the Event-B9 KB (1,244 words) - 13:52, 1 April 2022
- Laurent Voisin, Systerel4 KB (530 words) - 15:34, 23 March 2012
- ...tion plug-in: a new approach to genericity in Rodin - ''Guillaume Verdier, Laurent Voisin'' ([[Media:RodinWorkshop2021_Context instantiation plug-in.pdf|pdf]]4 KB (595 words) - 09:41, 29 June 2021
- :[[D23 Introduction|Introduction]] (Laurent Voisin)4 KB (576 words) - 16:01, 26 January 2010
- ...pdf Transcript] of a subsequent e-mail discussion between Ken Robinson and Laurent Voisin5 KB (716 words) - 09:28, 22 November 2010
- ...ailable </span> || || 15th March 2016|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] || Checked and appears to still work in Rodin 3.4 - cfsnook 12/12/6 KB (855 words) - 16:00, 12 December 2019