Pavel Andrianov

Linux Driver Verification (Developer, 08/08/2013)
Linux Kernel Safety RuleDB (Developer, 10/16/2014)
Klever (Developer RO, 09/04/2015)
Kartographer (Reporter, Customer, 04/07/2017)
Build Analyzer (Developer, 04/19/2017)
C Instrumentation Framework (Reporter, 02/27/2018)
Aspectator (Reporter, 02/27/2018)
LDV Tools (Developer, 03/17/2018)
CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
CPAchecker (Developer, 07/28/2018)

02:08 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > For providing data that can be interested for verifier developers there are different means
I am not speaking ab...
12:06 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > then you have to prepare the only verification report with all verification results as its children.
Then I have...
11:16 AM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > As far as I rememember there can be the only verification report for the same parent (Vladimir, am I right?)
Nei...
10:58 AM Klever Feature #9412: Support more advanced calculation of total verdicts and similarity: I support the issue: incompatible marks are very distractive. One minor comment is that several confirmed association...

06:20 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > Can't you create an intermediate reports of another type?
We do it already (see example from Vitaly), but it doe...
05:54 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > What is an unsafe node? What is a verification node?
This is unsafe report and verification report.
05:53 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > If you need the same attributes for all underlying reports, you need to upload them within a parent report, most li...
05:39 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: Some attributes can be related not to a witness, but to a whole launch. So, the feature is only not to clone the same...

12:47 PM Klever Bug #9285 (Closed): Problem with deployment: Using the version 1.1, I can not prepare virtual machine with deployment scripts. The BenchExec archive is not extrac...

04:36 PM Klever Feature #9273 (New): New translation mode for EMG: There are two translators for EMG. One of them prepare sequential code, when all specified functions are called direc...

Also available in: Atom

Open-Source Projects