FMSE
Formal
Methods in
Software Engineering
Tools mlk Anonymous  Login

Modelink (or mlk) is a tool which makes use of the K definition of the OCL language for checking OCL contraints and execute scenarios.


Examples
Loading ...
Path : 

Input
     Params:
   StdIN:
  

Output:
@FMSE 2010-2011