Skip to content

SEO

  • The index page should have a more descriptive title, like "Spot: LTL and omega-automata manipulation library"
  • The index page should have a <meta> tags for description and keywords.
  • The on-line translator should use a <h1> tag for the the box "LTL (or PSL) Formula to translate"