Download ASLan++ specification and tutorial

D2.3 (update): ASLan++ specification and tutorial
--split
--states
--trace
--reverse
Use the --split option on hlpsl2if for hlpsl input file.
Shows all internal system states of the analysis.
Use -trace "Short trace" to follow one particular trace.
Inverse the order of protocol steps in the read module.
Miscellaneous options :
--version Print the version number.
--licence Print the Cl-AtSe’s disclaimer (licence).
-help Display this list of options
--help Display this list of options
FP7-ICT-2007-1
Project No. 216471
188/190