FMSE
Formal
Methods in
Software Engineering
Tools Symbolic Anonymous  Login

These examples are meant to illustrate how to generate and use the symbolic sematics of programming languages.

Each folder contains a language definition lang.k and some examples pgm.lang.

To kompile a definition please select lang.k from the left panel, add option `--backend symbolic` in Params, and then hit `kompile` button.

To run a program you have to select the program, say pgm.lang, pass the krun parameters which can be found in pgm.lang, and the hit `krun` button.


Examples
Loading ...
Path : 

Input
     Params:
   StdIN:
  

Output:
@FMSE 2010-2011