Model checking clean components of a not-clean model
Many subcomponents could be modelchecked even if the model uses unclean features.
(from redmine: issue id 1762, created on 2013-09-29)
Many subcomponents could be modelchecked even if the model uses unclean features.
(from redmine: issue id 1762, created on 2013-09-29)