Spot

spot@lrde.epita.fr

  • 3 participants
  • 220 discussions
UBA-generation of ltl2tgba
by Simon Jantsch 12 Feb '19

12 Feb '19
_impl issue with install
by Lonnie Parker 06 Jan '19

06 Jan '19
partial order reduction and stuttering
by Stephen Siegel 11 Dec '18

11 Dec '18
spot's website is down
by 刘天池 07 Dec '18

07 Dec '18
Spot build fails
by Maxime Bouton 11 Nov '18

11 Nov '18
Compilation under Cygwin
by Jerry Swan 29 Oct '18

29 Oct '18
Julia bindings for Spot
by Maxime Bouton 05 Oct '18

05 Oct '18
SPoT + PSL + Dynamic Logic.
by Martin Dieguez 05 Oct '18

05 Oct '18
SPoT + PSL + Dynamic Logic.
by Martin Dieguez 03 Oct '18

03 Oct '18
Potential Bug in Spot?
by Andreas Tollkötter 25 Sep '18

25 Sep '18