Feasibility exploration analysis of AR virtual verification method of civil aircraft maintenance program by SUN Hongli, WANG Hongchao, ZHANG Yajie, QIAO Wanxin, ZHAO Xincan

Subjects: Get full text

UVM based verification platform for CAN controller with asynchronous interface by Sun Weidong, Hu Xiaogang

Subjects: “…ic design verification…”
Get full text

Accelerating EdDSA Signature Verification with Faster Scalar Size Halving by Muhammad ElSheikh, İrem Keskinkurt Paksoy, Murat Cenk, M. Anwar Hasan

Subjects: “…Batch Verification…”
Get full text

Verification Analysis of the Ground Comprehensive Application Software for CMD System by 杨颖, 金炜东

Subjects: “…software verification…”
Get full text

Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans by Simona Ondrčková, Roman Barták, Pascal Bercher, Gregor Behnke

Subjects: Get full text

A Systematic Review on the Applications of <span style="font-variant: small-caps">Uppaal</span> by Iwona Grobelna, Krystian Gajewski, Andrei Karatkevich

Subjects: Get full text

VP_TT: A value propagation based equivalence checker for testability transformations by Ramanuj Chouksey, Sachin Kumar Maddheshiya, Chandan Karfa

Subjects: Get full text

Towards the ’Verified Verifier’. Theory and Practice by D. A. Kondratyev, A. V. Promsky

Subjects: “…verification…”
Get full text

Methods of the Verification of the Expert’s Opinion within Criminal Procedure of Ukraine by B. V. Shabarovskyi

Subjects: Get full text

Counter-verification in performance-based financing: key insights from the Côte d’Ivoire experience by Joël Arthur Kiendrébéogo, Kouadjo San Boris Bediakon, Jean-Pierre Tsafack, Marin Passerat De Silans, Robert Yao Kouakou, Clovis Kouassi Konan, Sosthène Dougrou, Xavier Lannuzel, Serge Mayaka Manitu

Subjects: Get full text

Factors associated with overreporting based on community verification results in a performance-based financing program in Zimbabwe by Trina Gorman, Pia Arce, Gabrielle O’Malley, Taurai Kambeu, Brian Maponga, Jabulani Mavudze, Sinokuthemba Xaba, Getrude Ncube, Bernardo Hernandez

Subjects: “…Community verification…”
Get full text

THE VERIFICATION BY CALCULUS OF THE TRANSMISSION OF THE EXTRACTION MACHINE'S REDUCER FROM THE OLD PIT WITH SKIP – LONEA MINIG PLANT by Răzvan Bogdan ITU, Iosif DUMITRESCU

Subjects: “…Verification…”
Get full text

Control-Flow-Based Methods to Support the Development of Sound Workflows by Thomas M. Prinz, Wolfram Amme

Subjects: Get full text

Tests of robustness of GMM speaker verification in VoIP telephony by Piotr Staroniewicz

Subjects: “…speaker verification…”
Get full text

Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography by M. . Anikeev, F. . Madlener, A. . Schlosser, S. A. Huss, C. . Walther

Subjects: “…verification…”
Get full text

Verification and validation: process VS procedure by V. L. Diemokhin, V. V. Ilkovych, . N. Bukanov

Subjects: Get full text

Invulnerability invariants for software controlled speculation by Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti

Subjects: “…formal verification…”
Get full text

METHODS AND HARDWARE OF DOSE OUTPUT VERIFICATION FOR DYNAMIC RADIOTHERAPY by Y. V. Tsitovich, A. I. Hmyrak, A. I. Tarutin, M. G. Kiselev

Subjects: Get full text

C Program Verification: VC Explanation and the Standard Library by A. V. Promsky

Subjects: “…verification…”
Get full text

Runtime safety assurance methods for cyber physical systems based on simplex architecture by WANG Qiang, CHEN Qiang, CAO Weipeng, HE Wenfeng

Subjects: Get full text