Published March 19, 2019 | Version 1.0.0.post0
Software Open

LTLf2DFA

Creators

  • 1. Sapienza University

Description

LTLf2DFA is a tool that transforms an LTLf or a PLTLf formula into a minimal Deterministic Finite state Automaton (DFA) using MONA.

Files

Files (28.0 kB)

Name Size Download all
md5:2579ff9c1df4df59e8a733724ebc2e67
28.0 kB Download

Additional details

Related works

Is supplement to
https://github.com/Francesco17/LTLf2DFA/tree/0.2.2.post0 (URL)