Oui non c’est sur c’est pas du CAML dans Meteor c’est de l’ADA et la methode B qui sert a faire les preuves formelles. Et qui est une des seules methodes de demonstration formelle a peu pres utilisable mais bon c’est pas super realiste de toute facon dans des vrais programmes qui font pas des choses relativement simples. Sinon oui sur WinFS ils sont surement a cote de la plaque 
mais bon c’est pas pour demain justement parceque le projet est tres (trop?) ambitieux. Enfin bon on verra bien
Tu l’as déjà utilisé ? Parce que ton ‹ a peut près utilisable › est gentil…
Je dirais (d’expérience) vraiment très lourd et très pénible à utiliser.
[quote name=‹ B2V › date=’ 28 Feb 2005, 00:47’]Tu l’as déjà utilisé ? Parce que ton ‹ a peut près utilisable › est gentil…
Je dirais (d’expérience) vraiment très lourd et très pénible à utiliser.
[right][post=« 336936 »]<{POST_SNAPBACK}>[/post][/right][/quote]
Oui j’ai deja utilise plusieurs fois en cours de demonstration formelle justement en ecole d’inge (pas en pro) d’ou mon « a peu pres » utilisable parceque ca m’avait pas convaincu M’enfin d’un cote c’est preuve formelle quoi, a part sur des exemples triviaux, c’est limite impossible a faire presque par definition.