Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 8 of 8 for “"Translation Validation"”.
-
Translation validation for compilation verification
… that a compilation of a program is correct. Translation Validation is a commonly used compilation verification technique that aims to prove the correctness of a single instance of compilation, by considering only the specific input and output programs and treating the compiler mostly as a …
-
The Oxford Shoulder Score: Cross-cultural adaption and translation validation into Afrikaans
… version of the OSS for use in Africa. Methods: Translation and cross-cultural adaptation was performed in accordance with guidelines in the literature. 108 consecutive patients with either degenerative or inflammatory pain of the shoulder were prospectively enrolled. Patients were evaluated by …
-
Scalable validation of binary lifters
… verification. Second, I show that formal translation validation of single instructions for a complex ISA like x86-64 is not only practical but can be used as a building block for scalable full-program validation. My work is the first to do translation validation of single instructions on …
-
Lightweight Formal Methods for Correct, Efficient Systems Programming
… strategy, equality saturation, with translation validation to find correct, fast vectorizations for specialized linear algebra tasks on digital signal processors. The Kani verifier for Rust leverages compiler invariants to improve the performance of dynamically dispatched methods in a …
-
A formal semantics of P4 and applications
… plane verification, program verification, and translation validation.
-
Formal Verification of Relational Model Transformations using an Intermediate Verification Language
… EMFTVM bytecode library, enabling an automated translation validation approach to ensuring the soundness of the verification of the designed verifier. We demonstrate our VeriMTLr framework with the design of verifiers for the Atlas Transformation Language and the SimpleGT graph transformation …
-
Validation framework for schema and query translation
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-15 without embargo terms
-
On Reducing the Trusted Computing Base in Binary Verification
The translation of binary code to higher-level models has wide applications, including decompilation, binary analysis, and binary rewriting. This calls for high reliability of the underlying trusted computing base (TCB) of the translation methodology. A key challenge is to reduce the TCB by …