Sentence examples for generated verification from inspiring English sources

The consistency of these specifications can be guaranteed by proving that some automatically generated verification conditions are valid.

In this work, we generate verification patterns with 100% coverage of a sub-class of POF, called 2-POF.

The framework for representing the logic, the verification condition and its proof, along with the efficient algorithms for generating verification conditions and for checking proofs constitute the Proof-Carrying Code (PCC) infrastructure.

In such scenarios, a wide set of non-deterministic inputs is applied, which generates verification conditions that are hard to be checked and makes this procedure very time-consuming.

The EST sequences are often of low quality because they are automatically generated without verification and thus contain higher error rates.

Together with the watermark, they are scrambled by chaotic map and subsequently used for generating the verification image.

To this end, we propose JCML (Java Card Modeling Language) a specification language derived from JML (Java Modeling Language) and its implementation: a compiler that generates runtime verification code.

When logging into their Facebook accounts on mobile, most users will still have to go through the regular old two-factor SMS process (Facebook also lets users generate their verification code through the Facebook app).

Setup phase: The organization admin initializes the public and secret parameters of the system by executing KEYGEN algorithm and preprocesses the data by using SigGen to generate the verification metadata (the information about the connection, the users' accounts).

We can use SHA-256 to generate a "verification hash" from the encryption key.

For data required by § 98.5(b) to be entered into verification software specified in § 98.5(b), maintain the entered data in the format generated by the verification software according to § 98.5(b).