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.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Duret-Lutz, Alexandre: Manipulating LTL formulas using Spot 1.0 (2013)