PV
This field contains short name of the property investigated.
Example
PV
Twist
The entries containing the word introduced by a user could be retrieved by the standard SRS search.
This field could be numerously repeated in accordance with the blocks referring to each feature:
|
Link to PROPERTY database |
|
|
Property Name |
|
|
Analyzed Region |
|
|
Utility |
|
|
Means, Standard Deviation, False Negatives for Control Sequences |
|
|
Means, Standard Deviation, False Positives for Random Sequences |
|
|
Graphical Representation of Test Results |
|