Command-line tools installed by Spot 2.8: ltlfilt This tool is a filter for LTL formulas. (It will also work with PSL formulas.) It can be used to perform a number of tasks. Essentially: converting formulas from one syntax to another, transforming formulas, selecting formulas matching some criterion.