Spot

spot@lrde.epita.fr
  • 212 discussions

SPoT + PSL + Dynamic Logic.
by Martin Dieguez
6 years, 9 months

Potential Bug in Spot?
by Andreas Tollkötter
6 years, 9 months

ltlfilt does not exhaustively simplify when --remove-wm is enabled
by Simon Jantsch
6 years, 9 months

spot-2.6.1 conflicts with libiconv-1.14: it installs the file lib/charset.alias
by Yuri
6 years, 10 months

--disable-doxygen doesn't disable doxygen
by Yuri
6 years, 10 months

Multiple accepting runs for Buchi Automaton
by Thakur Neupane
6 years, 10 months

Return all accepting runs for emptiness checking
by Zhen Zhang
6 years, 11 months

Cloning an automaton
by Ayrat Khalimov
7 years

bug spot online
by MATTEO LUCCHI
7 years, 3 months

A bug in determinization procedure of Spot?
by Anton Pirogov
7 years, 3 months
Results per page: