Project

General

Profile

Actions
Copy link

Feature #6692

closed

Support multi-aspect verification

Added by Evgeny Novikov almost 9 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Vitaly Mordan
Category:
Tasks generation
Target version:
-
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.

Related issues 3 (0 open — 3 closed)

Blocked by Klever - Feature #6783: Support several error traces from static verifiersClosedEvgeny Novikov02/03/2016

Actions
Blocks Klever - Bug #7116: Implicit declaration of ldv_usb_lock* functionsRejected04/26/2016

Actions
Blocked by Klever - Feature #6691: Support several bug kindsClosedVitaly Mordan02/02/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 8 years ago

  • Status changed from New to Closed

This is another feature that was mentioned at #7237. Any way we will re-design and re-implement everything related with this.

Actions
Copy link

Also available in: Atom PDF