Support infinite loops in MSC Feasability
The feasability of an MSC in a given model can be checked using a model
checker.
But not for MSC with loops.
(from redmine: issue id 1810, created on 2013-10-24, closed on 2018-02-14)
The feasability of an MSC in a given model can be checked using a model
checker.
But not for MSC with loops.
(from redmine: issue id 1810, created on 2013-10-24, closed on 2018-02-14)