9 lines
542 B
Plaintext
9 lines
542 B
Plaintext
The tool interprets the high level constructs of TLSF 1.1 (functions, sets, ...)
|
|
and supports the transformation of the specification to Linear Temporal Logic
|
|
(LTL) in different output formats. The tool has been designed to be modular with
|
|
respect to the supported output formats and semantics. Furthermore, the tool
|
|
allows to identify and manipulate parameters, targets and semantics of a
|
|
specification on the fly. This is especially thought to be useful for
|
|
comparative studies, as they are for example needed in the Synthesis
|
|
Competition.
|