Search results

Create the page "D45 Deliverable" on this wiki! See also the search results found.

• D45 Introduction
  The DEPLOY deliverable D45 is made of this document, the Rodin core platform, and its plug-ins (i.e. t [[Category:D45 Deliverable]]
  3 KB (500 words) - 09:18, 23 April 2012
• D45 Model-based testing
  ...rk done on MBT proceeded according to the plan (summarized in the previous deliverable D32), i.e. generating test cases and test data using constraint-solving and * DEPLOY deliverable D44 - see chapter 10 for technical details on the constraint-solving approa
  7 KB (1,044 words) - 21:39, 20 April 2012
• D45 Model Checking
  [[Category:D45 Deliverable]]
  7 KB (1,025 words) - 21:35, 20 April 2012
• D45 Code Generation
  [[Category:D45 Deliverable]]
  12 KB (1,818 words) - 08:31, 20 April 2012
• D45 Scalability
  [[Category:D45 Deliverable]]
  13 KB (1,991 words) - 20:57, 20 April 2012
• D45 General Platform Maintenance
  The Rodin platform versions concerned by this deliverable are: ...php/Category:D32_Deliverable D32 - Model Construction tools & Analysis III Deliverable]).
  35 KB (5,228 words) - 10:12, 23 April 2012
• D45 Prover Enhancement
  [[Category:D45 Deliverable]]
  21 KB (3,334 words) - 21:20, 20 April 2012