TBD
Library:
xor operator in the LTL input.Tools:
fgx2dga (Preview): A translation of LTL-fairness formulas (FG/GF) to deterministic automata with a generic acceptance condition, meaning the acceptance condition is an arbitrary boolean combination of Inf and Fin sets. The tool supports all LTL operators using a fallback mechanism. This is a preview, thus functionality as well as the name is subject to change.Library:
Tools:
ltl2ldba: A translator of LTL to limit-deterministic Büchi automata.ltl2dpa: A translator of LTL to deterministic parity automata via LDBAs.ltl2da: A translator of LTL to any deterministic automata. The tool is a wrapper for the before mentioned tools and returns the smallest automaton.nba2ldba: A translator of non-deterministic Büchi to limit-deterministic Büchi automata.