Search results

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

• Extending the Rodin Database
  ...for getting the Java attribute kind given an unique ID (without knowing in advance the kind as declared via the extension point).
  9 KB (1,207 words) - 15:43, 4 September 2013
• D23 Pattern Plug-in
  ...an easily loose track. Having a tool checking for possible name clashes in advance can avoid a lot of confusion.
  6 KB (1,034 words) - 14:43, 27 January 2010
• D45 Model Checking
  ...que is ongoing and will be continued within the project ADVANCE[http://www.advance-ict.eu/].
  7 KB (1,025 words) - 21:35, 20 April 2012
• Rodin Workshop 2014
  The Rodin Workshop is supported by the [http://www.advance-ict.eu FP7 ADVANCE Project [[image:Logo_web.png|128px]] ].
  8 KB (1,073 words) - 06:13, 24 June 2014
• Modus Ponens generalized
  ...e initial hypothesis as the number of <math>\lnot</math> can't be known in advance. <br />In addition, predicate <math>\btrue</math> or <math>\bfalse</math> a
  10 KB (1,784 words) - 16:04, 18 March 2014
• ADVANCE D3.2 Model Checking
  [[Category:ADVANCE D3.2 Deliverable]]
  11 KB (1,711 words) - 09:47, 26 June 2012
• D45 Scalability
  ...the users and suggests a number of possible solutions. In the FP7 project ADVANCE, a solution will be decided upon and implemented.
  13 KB (1,991 words) - 20:57, 20 April 2012
• Current Developments
  The following tasks were planned at some stage of the [[Deploy]] or [[Advance]] project.
  12 KB (1,869 words) - 16:35, 18 March 2014
• D32 Code generation
  ...ing on board any feedback from interested parties. The tool support should advance to the prototype stage, with improvements in the tool's usability in terms
  15 KB (2,298 words) - 15:08, 27 January 2011
• D45 Prover Enhancement
  ...ions is being extended, the work has been partially carried out within the ADVANCE project and will be continued within that project.
  21 KB (3,334 words) - 21:20, 20 April 2012

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)