Project

General

Profile

Feature #10759

Support describing various classes of interaction scenarios within different environment models

Added by Evgeny Novikov about 2 months ago.

Status:
New
Priority:
Urgent
Assignee:
Category:
Environment models
Target version:
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.

No data to display

Also available in: Atom PDF