Feature #724

Support better LTL to Buchi solutions

Added by Alfons Laarman about 7 years ago. Updated over 6 years ago.

Status:AssignedStart date:15 Sep 2013
Priority:LowDue date:
Assignee:Alfons Laarman% Done:


Category:toolsSpent time:-
Target version:ltsmin-2.1


LTL3Buchi can be integrated (as in divine)
Spot also contains better algorithms.

LTL2Buchi should still stay available for easy check of state counts between SPIN and LTSmin.
Note also that the integration of LTL2Buchi is rather adhoc and exploits the LTL2Buchi internal data structures. Hopefully DiVinE already demonstrates a cleaner use for LTL3Buchi.


#1 Updated by Alfons Laarman almost 7 years ago

  • Status changed from New to Rejected

duplicates #720

#2 Updated by Alfons Laarman over 6 years ago

  • Status changed from Rejected to Assigned

#3 Updated by Alfons Laarman over 6 years ago

  • Assignee set to Alfons Laarman

Also available in: Atom PDF