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!
Hi Jianwen
On Fri, Dec 7, 2012 at 10:43 PM, Jianwen Li lijwen2748@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