Dear Sir:<div>   </div><div>    I want to ask whether SPOT integrate some algorithm that can check the generated autoamta&#39;s emptyness ? Recently I want to use SPOT</div><div>to do the LTL satisfiability checking.  If you do not, I have to combine SPOT with SPIN to achieve that. </div>
<div><br></div><div>   Thanks very much!<br clear="all"><div><br></div>-- <br>Best Regards<div><br></div><div>Jianwen</div><br>
</div>