Actions
Feature #6692
closedSupport multi-aspect verification
Start date:
02/02/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
In general multi-aspect verification assumes that we can find violations of several bug kinds with one verification task almost independently. This allows to get almost the same results as one can get by searching for violations of each bug kind independently and to considerably reduce the total verification time. There are too many details indeed.
Actions