Sentence examples for the verification condition from inspiring English sources
The verification condition is a predicate that is provable only if the code meets the safety policy.
The verification condition is passed to a theorem prover that finds and emits a proof of it according to the logic requested by the code consumer.
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.
The annotated machine code is passed through the Verification Condition Generator (VCGen) that verifies the well-formedness of the code (such as that the branch targets are within the code segment) and emits a verification condition (VC).
Otherwise, if that condition is false, then the vehicle entry is removed from the Neighbor_table, a new head of the Neighbor_table is set as the next hop vehicle, and the verification condition of CLT f is repeated.
The proof is verified to be valid (with respect to the given logic) and to prove the required verification condition.
Now we have the following verification condition on a computer.
Current mechanizations of programming logics are often in the form of verification condition generators.
For each subject, errors were averaged for all ECGs in each of the two verification conditions.
Notice how our Proposition 1.1 simplifies the verification of condition (H4) in Corollary 1.1.
ad (iii) Since the verification of condition (iii) in Proposition 2.4 is technically the most complicated, it will be split into two parts: (iii1) the quasi-compactness of the solution operator T m, (iii2) the condensity of T m w.r.t. the monotone and non-singular m.n.c.n.c
