FMSE
Formal
Methods in
Software Engineering
Tools Alk Anonymous  Login

This interface is dedicated to those who want to test or use the Alk language. It mainly provides a way to run the existing examples (using the explorer tree on the left) or to modify/create files by modifying (and saving) the existing ones.

Usage:

  1. Select the program you want to execute (left)
  2. Add the running parameters in the Params field
  3. Hit the Run button

 

Example: 

  1. Select gcd.k
  2. Add -cINIT=.Map in Params
  3. Click Run


Typically, for any program there are running instructions (including the options that need to be passed to the program runner) at the top of the file.

 


Examples
Loading ...
Path : 

Input
     Params:
   StdIN:
  

Output:
@FMSE 2010-2011