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
8 Dec
8 Dec
5:28 p.m.
Hi Jianwen
On Fri, Dec 7, 2012 at 10:43 PM, Jianwen Li <lijwen2748(a)gmail.com> wrote:
Dear Sir:
I want to ask whether SPOT integrate some algorithm that can check the
generated autoamta's emptyness ?
Sure it does. Please see the documentation:
http://spot.lip6.fr/refdoc/spot-latest/group__emptiness__check.html
--
Alexandre Duret-Lutz
4588
days inactive
4589
days old
1 comments
2 participants
participants (2)
-
Alexandre Duret-Lutz -
Jianwen Li