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
1. Building
make
2. How to run
./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
3. Results
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: