[Caml-list] PhD position announcement: Timed contracts for Correct-by-Construction system design

[Caml-list] PhD position announcement: Timed contracts for Correct-by-Construction system design

[David MENTRE]

Hello,

INRIA Rennes and Mitsubishi Electric R&D Centre Europe are opening a PhD 
position titled "Timed contracts for Correct-by-Construction system design".

Position details are available here:

 
http://www.fr.mitsubishielectric-rce.eu/images/fck_upload/1506_Annonce_Formal%20methods_PhD_201509_EN(1).pdf

This PhD position is not strictly related to OCaml but most of the time 
the tool developed at MERCE around formal methods are made in OCaml. :-)

Do not hesitate to ask questions if needed. Feel free to forward this 
position to relevant forums.

Sincerely yours,
D. Mentré

[Caml-list] Model-based engineering and OCaml

[David MENTRE]

Hello,

Le 03/07/2015 14:10, David MENTRE a écrit :
> most of the time the tool developed at MERCE around formal methods are
> made in OCaml. :-)

By the way, the only tools we are not developing in OCaml are tools 
around Model Based Engineering/Design/... developed using Eclipse's 
technologies (Acceleo, Java, EMF, Sirius, ...).

Is there any effort, library or framework to develop Model 
transformation tools (model to text, model to model) in OCaml? Any OCaml 
tool that can be combined with Eclipse technologies like EMF or Sirius?

Sincerely yours,
david