-
1
Feasibility exploration analysis of AR virtual verification method of civil aircraft maintenance program
Published 2025-04-01Subjects: Get full text
Article -
2
UVM based verification platform for CAN controller with asynchronous interface
Published 2024-01-01Subjects: “…ic design verification…”
Get full text
Article -
3
Accelerating EdDSA Signature Verification with Faster Scalar Size Halving
Published 2025-06-01Subjects: “…Batch Verification…”
Get full text
Article -
4
Verification Analysis of the Ground Comprehensive Application Software for CMD System
Published 2011-01-01Subjects: “…software verification…”
Get full text
Article -
5
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans
Published 2023-05-01Subjects: Get full text
Article -
6
A Systematic Review on the Applications of <span style="font-variant: small-caps">Uppaal</span>
Published 2025-05-01Subjects: Get full text
Article -
7
VP_TT: A value propagation based equivalence checker for testability transformations
Published 2021-02-01Subjects: Get full text
Article -
8
Towards the ’Verified Verifier’. Theory and Practice
Published 2014-12-01Subjects: “…verification…”
Get full text
Article -
9
Methods of the Verification of the Expert’s Opinion within Criminal Procedure of Ukraine
Published 2019-06-01Subjects: Get full text
Article -
10
Counter-verification in performance-based financing: key insights from the Côte d’Ivoire experience
Published 2025-12-01Subjects: Get full text
Article -
11
Factors associated with overreporting based on community verification results in a performance-based financing program in Zimbabwe
Published 2025-05-01Subjects: “…Community verification…”
Get full text
Article -
12
THE VERIFICATION BY CALCULUS OF THE TRANSMISSION OF THE EXTRACTION MACHINE'S REDUCER FROM THE OLD PIT WITH SKIP – LONEA MINIG PLANT
Published 2019-05-01Subjects: “…Verification…”
Get full text
Article -
13
Control-Flow-Based Methods to Support the Development of Sound Workflows
Published 2021-07-01Subjects: Get full text
Article -
14
Tests of robustness of GMM speaker verification in VoIP telephony
Published 2014-01-01Subjects: “…speaker verification…”
Get full text
Article -
15
Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography
Published 2010-12-01Subjects: “…verification…”
Get full text
Article -
16
Verification and validation: process VS procedure
Published 2013-06-01Subjects: Get full text
Article -
17
Invulnerability invariants for software controlled speculation
Published 2024-12-01Subjects: “…formal verification…”
Get full text
Article -
18
METHODS AND HARDWARE OF DOSE OUTPUT VERIFICATION FOR DYNAMIC RADIOTHERAPY
Published 2015-03-01Subjects: Get full text
Article -
19
C Program Verification: VC Explanation and the Standard Library
Published 2011-12-01Subjects: “…verification…”
Get full text
Article -
20
Runtime safety assurance methods for cyber physical systems based on simplex architecture
Published 2024-05-01Subjects: Get full text
Article