Spot

spot@lrde.epita.fr
  • 212 discussions

check if word exists in language
by רועי פוגלר
4 years, 8 months

print spot automata using graphviz
by רועי פוגלר
4 years, 8 months

Spot tool
by רועי פוגלר
4 years, 8 months

Spot tool
by רועי פוגלר
4 years, 8 months

Re: [Spot] Explicit order of sub-formulas in formula constructor
by Alexandre Duret-Lutz
4 years, 8 months

Explicit order of sub-formulas in formula constructor
by Niklas Metzger
4 years, 8 months

Question on LTL to buechi automata
by Zhen Dong
4 years, 9 months

Spot Polish Notation Parsing
by Niklas Metzger
4 years, 11 months

Segfault when postprocessing large automaton
by Reed Oei
5 years, 2 months

accepting_run() returning words containing false
by Jens Kreber
5 years, 2 months
Results per page: