StateChum / Feature Requests / #4 fold-in LTL constraints

#4 fold-in LTL constraints

Status: open

Owner: nobody

Labels: None

Priority: 8

Updated: 2008-09-30

Created: 2008-09-30

Creator: neil_w

Private: No

Remove the need to call SPIN by folding in LTL constraints into PTA

Discussion

neil_w - 2008-09-30

priority: 5 --> 8
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.