[Spot] Return all accepting runs for emptiness checking

Zhen Zhang zhen.zhang at usu.edu
Thu Aug 2 23:31:52 CEST 2018


Hello,

We would like to know if the emptiness checking algorithms for Buchi 
automata can return all accepting runs, instead of a single one as the 
tool has implemented.

Thanks,
Zhen Zhang


More information about the Spot mailing list