{"component": "definition", "props": {"groups": [{"samples": [{"hash": "l8xq73p9FM2", "uri": "https://rosap.ntl.bts.gov/view/dot/38826/dot_38826_DS1.pdf", "label": "rosap.ntl.bts.gov", "score": 7.3942505133, "published": false}, {"hash": "555iGLLCCRb", "uri": "https://www.nhtsa.gov/sites/nhtsa.dot.gov/files/documents/812557_safety-assessmt-gen-accelerator-control-system-elec-throttle-control-gas-engs.pdf", "label": "www.nhtsa.gov", "score": 7.2792607803, "published": false}, {"hash": "8Xy2RtS6VBF", "uri": "https://www.nhtsa.gov/sites/nhtsa.gov/files/documents/13638_diesel_icereport_100518-v4-tag.pdf", "label": "www.nhtsa.gov", "score": 7.2546201232, "published": false}], "snippet": "means that the value of a parameter is the correct one from the valid set.", "snippet_links": [{"key": "the-value", "type": "clause", "offset": [11, 20]}], "size": 9, "hash": "5dc45e4c4b3ced0bd1e0ae274ba5625f", "id": 1}, {"samples": [{"hash": "9MqwUrVh8uP", "uri": "/contracts/9MqwUrVh8uP#correctness", "label": "Byzantine Agreement With Homonyms", "score": 26.0732375086, "published": true}, {"hash": "ghPjMfvz1Hp", "uri": "/contracts/ghPjMfvz1Hp#correctness", "label": "Byzantine Agreement With Homonyms", "score": 26.0321697467, "published": true}, {"hash": "jyFoCxjvvUb", "uri": "/contracts/jyFoCxjvvUb#correctness", "label": "Byzantine Agreement With Homonyms", "score": 25.6187542779, "published": true}], "snippet": "If a process with identifier i performs Broad cast(m) in some superround r \u2265 T , then all correct pro- cesses send \u27e8echo m, r, i\u27e9 messages in the second round of superround r. All of these messages will be delivered and they will come from at least \u2113 \u2212 t different identifiers, so all processes will perform Accept(m, i) in the second round of superround r. Unforgeability: Suppose all processes with identifier i are correct and none perform Broadcast(m). The only reason a correct process will send a message \u27e8echo m, r, i\u27e9 (for some r) is if it has previously received \u27e8echo m, r, i\u27e9 messages from \u2113 \u2212 2t > t identifiers, one of which must have been sent by a correct process. Thus, no correct process can send the first \u27e8echo m, r, i\u27e9 message. So, no process can receive \u27e8echo m, r, i\u27e9 from \u2113 \u2212 t > t identifiers. It follows that no correct process performs Accept(m, i). Relay: Suppose some correct process P performs Accept(m, i) line 7, this is possible only if (v, \u2217) is not in r\u2019s locks set at the beginning of phase ph . This contradicts our assumption that all correct processes that sent an \u27e8ack v, ph\u27e9 message in phase ph (including r) keep the value in v in their locks set from the time they execute line 20 of phase ph until they execute line 30 of phase ph . The following lemmas are useful for proving termination. Recall that all messages sent after T are guaranteed to be delivered. Lemma 11 At the end of any phase ph3 that occurs after T, if (v1, ph1) is in the locks variable of a correct process p1 and (v2, ph2) is in the locks variable of a correct process p2, then v1 = v2.", "snippet_links": [{"key": "second-round", "type": "clause", "offset": [146, 158]}, {"key": "line-7", "type": "definition", "offset": [936, 942]}, {"key": "beginning-of", "type": "clause", "offset": [1007, 1019]}, {"key": "the-value", "type": "clause", "offset": [1154, 1163]}, {"key": "at-the-end-of", "type": "clause", "offset": [1412, 1425]}], "size": 7, "hash": "0853fff890649f031a3ff3007154b0bf", "id": 2}, {"samples": [{"hash": "jjKrzsHBQO1", "uri": "/contracts/jjKrzsHBQO1#correctness", "label": "Byzantine Agreement", "score": 26.780971937, "published": true}, {"hash": "lCzdRHjGvCK", "uri": "/contracts/lCzdRHjGvCK#correctness", "label": "Byzantine Agreement", "score": 26.2648870637, "published": true}, {"hash": "2hJqf9WCq0c", "uri": "/contracts/2hJqf9WCq0c#correctness", "label": "Byzantine Agreement", "score": 26.2648870637, "published": true}], "snippet": "The correctness requirement of digital signatures must hold for (MS.\u2587\u2587\u2587\u2587\u2587, MS.\u2587\u2587\u2587\u2587\u2587\u2587, MS.Sign, MS.Verify). In addition, for any message m, any collection of honestly gen- erated signatures {\u03c3i \u2190 MS.Sign(pp, ski, m)}i\u2208S on m (for some S \u2286 [n]), the combined multi- signature formed by \u03c3\u00af \u2190 MS.Combine(pp, {vki, \u03c3i}i\u2208S, m) will properly verify with overwhelming probability, i.e., Pr [1 \u2190 MS.MVerify(pp, {vk1, . . . , vkn}, S, m, \u03c3\u00af)] \u2265 1 \u2212 negl(k).", "snippet_links": [{"key": "digital-signatures", "type": "clause", "offset": [31, 49]}, {"key": "in-addition", "type": "clause", "offset": [107, 118]}], "size": 3, "hash": "339ae9120385c56920ed463eebcf6b42", "id": 3}, {"samples": [{"hash": "lgE38ndidPS", "uri": "/contracts/lgE38ndidPS#correctness", "label": "Framework Agreement (Alibaba Group Holding LTD)", "score": 25.3422313484, "published": true}, {"hash": "eqDNuDeVJkq", "uri": "/contracts/eqDNuDeVJkq#correctness", "label": "Framework Agreement (Yahoo Inc)", "score": 22.6098562628, "published": true}, {"hash": "e6oeXtMVyo4", "uri": "/contracts/e6oeXtMVyo4#correctness", "label": "Framework Agreement (Yahoo Inc)", "score": 22.5715263518, "published": true}], "snippet": "or \u201cCorrect\u201d means correct except for (i) inaccuracies or breaches of which the Independent Directors or the senior executive officers of Yahoo! or Softbank who were involved in the negotiation of the Framework Agreement had Knowledge prior to the Effective Time if such breaches or inaccuracies were sufficient to cause the condition to the obligations of Alibaba, Yahoo! and Softbank in Section 8.03(a) of the Framework Agreement not to be satisfied prior to the Effective Time or were disclosed as exceptions to the certificate delivered by HoldCo pursuant to Section 8.03(a) of the Framework Agreement, or (ii) such inaccuracies or breaches which do not, individually or in the aggregate, substantially decrease (A) the benefits of the Transactions to Alibaba, Yahoo! or Softbank or (B) the value of Alibaba. \u201cKnowledge\u201d shall be evidenced solely by written evidence (including email, and including self-generated writings and writings created by Releasing Persons) demonstrating that such person had knowledge of such inaccuracy or breach.", "snippet_links": [{"key": "independent-directors", "type": "clause", "offset": [80, 101]}, {"key": "senior-executive-officers", "type": "definition", "offset": [109, 134]}, {"key": "the-framework-agreement", "type": "definition", "offset": [197, 220]}, {"key": "prior-to-the-effective-time", "type": "clause", "offset": [235, 262]}, {"key": "the-condition", "type": "clause", "offset": [321, 334]}, {"key": "obligations-of", "type": "clause", "offset": [342, 356]}, {"key": "the-certificate", "type": "clause", "offset": [515, 530]}, {"key": "pursuant-to-section", "type": "clause", "offset": [551, 570]}, {"key": "in-the-aggregate", "type": "definition", "offset": [675, 691]}, {"key": "benefits-of", "type": "clause", "offset": [724, 735]}, {"key": "the-transactions", "type": "clause", "offset": [736, 752]}, {"key": "the-value", "type": "clause", "offset": [791, 800]}, {"key": "written-evidence", "type": "clause", "offset": [854, 870]}, {"key": "created-by", "type": "definition", "offset": [940, 950]}, {"key": "releasing-persons", "type": "definition", "offset": [951, 968]}, {"key": "knowledge-of", "type": "clause", "offset": [1005, 1017]}], "size": 3, "hash": "3378fa5e522171bb71aa39540d8e63a2", "id": 4}, {"samples": [{"hash": "h6dRCJsF3lu", "uri": "https://www.krs.co.kr/KRRules/KRRules2022/data/data_other/ENGLISH/gc34e000.pdf", "label": "www.krs.co.kr", "score": 8.5920602327, "published": false}, {"hash": "8amxx4ldcPy", "uri": "https://www.krs.co.kr/download/Amendments%20for%20Technical%20Rules%20and%20Guidance/%EC%8B%A0%EA%B5%AC%EB%8C%80%EC%A1%B0%ED%91%9C/Guidance%20for%20integrated%20Software%20Process%20Management.pdf", "label": "www.krs.co.kr", "score": 8.1321013005, "published": false}], "snippet": "means the state of software in which traceability, consistency, and completeness are provided.", "snippet_links": [{"key": "state-of", "type": "definition", "offset": [10, 18]}], "size": 2, "hash": "1001d9ef035f5b9347305b9b46c81deb", "id": 5}, {"samples": [{"hash": "6y7op1ehL8V", "uri": "https://www.nhtsa.gov/sites/nhtsa.dot.gov/files/documents/13496_812572_alcsynthesis_080318.pdf", "label": "www.nhtsa.gov", "score": 7.0985626283, "published": false}, {"hash": "fvhCgJbhDWR", "uri": "https://ntlrepository.blob.core.windows.net/lib/65000/65300/65390/DOT-HS-812-572_20190402.pdf", "label": "ntlrepository.blob.core.windows.net", "score": 7.0985626283, "published": false}], "snippet": "in this context means that the value of a parameter is the correct one from the valid set.", "snippet_links": [{"key": "the-value", "type": "clause", "offset": [27, 36]}], "size": 2, "hash": "95e3a6767049e3bd28292ec1fe65e5fe", "id": 6}, {"samples": [{"hash": "5kKJ41kdkOF", "uri": "/contracts/5kKJ41kdkOF#correctness", "label": "Asynchronous Byzantine Agreement", "score": 24.7751630054, "published": true}], "snippet": "If some honest party terminates Com, then there exists a fixed value s, where s F , such that the following requirements hold11 :", "snippet_links": [{"key": "fixed-value", "type": "definition", "offset": [57, 68]}], "size": 1, "hash": "61d7b20cf78686e61166c7529acae412", "id": 7}, {"samples": [{"hash": "de8ZzX7gT8X", "uri": "/contracts/de8ZzX7gT8X#correctness", "label": "Byzantine Agreement", "score": 20.2594113621, "published": true}], "snippet": "If all honest players begin with the same input value, i.e. \u2212", "snippet_links": [], "size": 1, "hash": "5c910f133e9fc70585a71f44956b69e9", "id": 8}, {"samples": [{"hash": "jK52gOuWeK7", "uri": "/contracts/jK52gOuWeK7#correctness", "label": "Byzantine Agreement Protocol", "score": 25.3874058864, "published": true}], "snippet": "All correct processes which have terminated have the same outputs. Moreover, if all correct processes have the same input, denoted v, then all correct processes output v.", "snippet_links": [], "size": 1, "hash": "874542693bce2985cf5b907c600ab1ab", "id": 9}, {"samples": [{"hash": "Ogdrp49Qb5", "uri": "/contracts/Ogdrp49Qb5#correctness", "label": "One Way Secret Key Agreement", "score": 30.1542119225, "published": true}], "snippet": "For any choice of s \u2208 \u00a3, we have, Pr[(xyz) \u2192 gen(PXYZ), ver(y, s, mac(x, s)) = acc | Z = z] = 1 (6)", "snippet_links": [], "size": 1, "hash": "4fc3c22daf65ebd0f787d1722b3b53bc", "id": 10}], "next_curs": "ClgSUmoVc35sYXdpbnNpZGVyY29udHJhY3RzcjQLEhpEZWZpbml0aW9uU25pcHBldEdyb3VwX3Y1NiIUY29ycmVjdG5lc3MjMDAwMDAwMGEMogECZW4YACAA", "definition": {"snippet": "means that the value of a parameter is the correct one from the valid set.", "size": 34, "title": "Correctness", "id": "correctness", "examples": ["These tests shall demonstrate, among other things: Completeness of the mechanical and electrical construction works <strong>Correctness</strong> of the assembly and installation Safety and reliability of the Project under all operating conditions Proper functioning of the components and system under all operating conditions.", "I wanted to change the direction of my own research towards the investigation of the foundations of separation logic (while continuing collaboration with \u2587\u2587\u2587\u2587\u2587\u2587\u2587 \u2587\u2587\u2587\u2587 on verifying Java libraries, continuing work on the Reowolf project, and continuing teaching Concepts of Programming Languages and Program <strong>Correctness</strong>).", "Later on, teaching both the Program <strong>Correctness</strong> and Concepts of Programming Languages courses also became my responsibility.", "From the start, I was involved in teaching in the Program <strong>Correctness</strong> course at Leiden University.", "The basic properties any MKA scheme must satisfy for this definition are the following: \u2013 <strong>Correctness</strong> even with partially active adversaries: The group manager and all group members output the same group secret in all epochs, once the group members have eventually received all control messages in order (with different messages possibly arbitrarily ordered in between).", "For that reason, KPIs 15-16 (<strong>Correctness</strong> of VIN decoding with EUCARIS and Time for VIN decoding with EUCARIS) will not be measured in the Finnish eCall pilot.", "WITNESS the following signatures and seals: SELLER: ATTEST: City Clerk Contents Approved: Director, Department of Development Approved as to Form and <strong>Correctness</strong>: Assistant City Attorney CITY OF NORFOLK By:_ Name: \u2587\u2587\u2587\u2587\u2587\u2587\u2587 \u2587.", "<strong>Correctness</strong>: If dis(w, w\u2032) \u2264 t and (R, P ) \u2190 Gen(w), then Rep(w\u2032, P ) = R.", "<strong>Correctness</strong> essentially requires that updating the public and secret key of a key-pair with the same sequence of rerandomization factors preserves compatibility of the updated keys with each other.", "No Responsibility for <strong>Correctness</strong> of Statements in Indenture..........................................."], "related": [["accuracy", "Accuracy", "Accuracy"], ["representation", "Representation", "Representation"], ["cusip-number", "CUSIP number", "CUSIP number"], ["responsibility", "Responsibility", "Responsibility"], ["certification-practice-statement", "Certification Practice Statement", "Certification Practice Statement"]], "related_snippets": [], "updated": "2025-07-06T21:56:45+00:00"}, "json": true, "cursor": ""}}