formulae.ltl 7.19 KB