Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
6
0

Year Published

2013
2013
2020
2020

Publication Types

Select...
4
4
1

Relationship

0
9

Authors

Journals

citations
Cited by 10 publications
(6 citation statements)
references
References 18 publications
0
6
0
Order By: Relevance
“…Table 1 shows that the new parallel algorithm outperforms BLAST and NuSMV by evidently less running time and furthermore has a more precise verification results. The precision rests on the difference that AMC has less incorrect verification results by introducing intermediate results [6][7][8][9][10].…”
Section: Resultsmentioning
confidence: 99%
“…Table 1 shows that the new parallel algorithm outperforms BLAST and NuSMV by evidently less running time and furthermore has a more precise verification results. The precision rests on the difference that AMC has less incorrect verification results by introducing intermediate results [6][7][8][9][10].…”
Section: Resultsmentioning
confidence: 99%
“…The main part of the paper is devoted to the dynamic verification system, so we will not examine the static verification methods in detail. A more detailed review of these methods is given in [2].…”
Section: Static Methodsmentioning
confidence: 99%
“…We performed an extensive experimental study on industrial code, in order to show the significant impact of precision reuse for regression verification (in terms of performance gains). The benchmark verification tasks were extracted from the Linux kernel, which is an important application domain [9], and prepared for verification using the Linux Driver Verification toolkit (LDV) [22], [24]. Our study consisted of a total of 16 772 verification runs for 4 193 verification tasks, composed from a total of 1 119 revisions (spanning more than 5 years) of 59 Linux drivers from the Linux kernel repository.…”
Section: Introductionmentioning
confidence: 99%