genltl should have options to generate the formula from bench/ltl2tgba/formulae.ltl
These are not really scalable patterns, but it would help to have these formulas giving short example commands, especially with ltlcross
.
These are not really scalable patterns, but it would help to have these formulas giving short example commands, especially with ltlcross
.