Spot

Download

spot@lrde.epita.fr

March 2012

2 participants
1 discussions

some questions about spot
by Jianwen Li 17 Mar '12

17 Mar '12

Dear Sir(Madam): When I use the SPOT tool online recently I found the truth that the result Buchi automata for such formulas G(F a && F b) from your tool is not a traditional one. Can you explain why? Thank you very much! Best Jianwen Li

2 1