LTLf 2 DFA

DOCS (current)
DOWNLOAD
ABOUT

Type an LTL_f or a PLTL_f formula...

LTL_f Syntax · PLTL_f Syntax · Random Example

This project (© 2018-) is proudly funded by the WhiteMech ERC AG no.834228 under the European Union's Horizon 2020 research and innovation programme. LTL_f2DFA is licensed under the LGPLv3+ License.