Searched refs:prove (Results 1 – 7 of 7) sorted by relevance
44 if(POLYSPACE_MODE STREQUAL "prove")
85 - ``-DPOLYSPACE_MODE=prove``
87 device state, to the ability to generate a key pair and prove that it
142 another purpose beside the fact of a unified ruleset. It is also necessary to prove that the
36 - method used to prove the authenticity of an entity.
576 derived that prove the effectiveness of the countermeasures. These tests
3038 …"To prove these models are accurate even after conversion and quantization, we'll compare their pr…
