7 Dec
2012
7 Dec
'12
10:43 p.m.
Dear Sir:
I want to ask whether SPOT integrate some algorithm that can check the
generated autoamta's emptyness ? Recently I want to use SPOT
to do the LTL satisfiability checking. If you do not, I have to combine
SPOT with SPIN to achieve that.
Thanks very much!
--
Best Regards
Jianwen