Actions
Feature #10759
closedSupport describing various classes of interaction scenarios within different environment models
Start date:
03/22/2021
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Target programs can be too hard for verification with environment models describing many possible interaction scenarios including a plenty of initializations. Thus we need a way to consider various classes of interaction scenarios within different environment models.
Actions