Search results
From Event-B
Jump to navigationJump to search
- ...not strictly necessary but it can be used to distinguish projects that the user has created from ones that have been created programmatically). ...(true); // mark the project as derived (this could be used to distinguish user editable projects ...6 KB (784 words) - 15:19, 21 August 2023
- * Prepare basic documentation for users. ...the Rodin platform uses self-made automatic theorem provers to support the user in proving. ...10 KB (1,629 words) - 12:50, 12 August 2009
- ...orm_Maintenance#Available_Documentation</ref> and the SourceForge<ref name=documentation>http://wiki.event-b.org/index.php/D45_General_Platform_Maintenance#Availabl :*A Handbook to complete and enhance the existing documentation. ...35 KB (5,228 words) - 10:12, 23 April 2012
- [[Category:User documentation]] ...3 KB (469 words) - 12:38, 17 April 2009
- ...> packaged with the Rodin platform. This makes the tests closer to the end-user experience, and therefore more meaningful. [[Category:Developer documentation]] ...4 KB (652 words) - 08:48, 6 June 2014
- [[Category:User documentation]] ...4 KB (559 words) - 12:43, 12 August 2009
- ...[mailto:lvoisin@users.sourceforge.net Laurent Voisin] || generates a Latex documentation of the Event-B | [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.3.1 || <span style="color:#8B4513"> not checke ...9 KB (1,244 words) - 13:52, 1 April 2022
- [[Category:User documentation]] ...4 KB (535 words) - 14:58, 10 December 2012
- [[Category:User documentation]] ...4 KB (535 words) - 14:56, 10 December 2012
- ''For user support, see [[SMT Solvers Plug-in]]'' [[Category:Developer documentation]] ...4 KB (691 words) - 14:34, 19 May 2014
- ...teps as possible automatically or at least supports the developer wherever user interaction is required. = Available Documentation = ...6 KB (1,034 words) - 14:43, 27 January 2010
- [[Category:User documentation|The Proving Perspective]] [[Category:User manual|The Proving Perspective]] ...14 KB (2,054 words) - 15:11, 3 June 2024
- [[Category:User documentation]] ...4 KB (550 words) - 10:39, 25 November 2014
- * various simplifications of the user interaction * documentation ...9 KB (1,317 words) - 10:07, 29 April 2013
- This tutorial walks the user through using the Systerel Requirements Plug-In for Rodin. This Plug-In al [[Category:User documentation]] ...7 KB (995 words) - 15:44, 25 February 2009
- ...ling component that is generated programmatically, at the direction of the user. The Tasking Development consists of a number of machines (and perhaps asso [[Category:User documentation]] ...7 KB (1,009 words) - 10:59, 26 January 2011
- # User selects element to be renamed at the Event-B Explorer # User introduces new element name in the first page of the wizard. Then click in ...11 KB (1,773 words) - 07:41, 12 January 2016
- :#* Report to user if translation didn't proceed due to model validator - previously, it was n :#* Preference for line routing style for each diagram type - allows the user to choose whether to use rectilinear or oblique line routing for each diagr ...9 KB (1,382 words) - 11:05, 27 January 2011
- [[Category:User documentation]] ...5 KB (720 words) - 15:20, 4 July 2013
- ...Any modification to this page shall be announced on the [[#Mailing_lists |User]] mailing list!</font> ...\;\; \finite\,(T)}{\textbf{H} \;\;\vdash \;\; \finite\,(S)}</math> || the user has to write the set corresponding to <math>T</math> in the editing area of ...36 KB (5,611 words) - 15:10, 3 June 2024
