About

Requires flex & bison
A high-level language used to represent data streams for Reo connectors.
Generate smv "code" for the data streams of a given Reo Model used for model checking purposes.

Instructions

make

./tds your-code.tds

or you can use the interactive mode

./tds -int your-code.tds

The two previous execution commands can also accept as input a nuXmv model from reo2nuXmv, providing integration between both tools.

  example:

 ./tds your-code.tds  reo2nuXmvModel.smv

Check the /results folder:
Abstract Syntax Tree (AST): results/PARSINGOUTPUT
The new .smv file with the generated model.

You can check some examples on the "sample" and "execution-scripts" folders. Those contain input code as examples and the expected output model.

New Features for the language will be added in the future, more details in: