Search Results - (codification OR verification)

Refine Results
  1. Cover Image

    KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code

    Published in ArXiv cs.CR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Text-Graph Synergy: A Bidirectional Verification and Completion Framework for RAG

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Experimental Verification of a Battery Energy Storage System for Integration with Photovoltaic Generators

    Published in Advances in Power Electronics (2017)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification

    Published in JAIR (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    From Phreaking to Sneaking: Children's Circumvention of Social Media Age Verification Systems

    Published in ArXiv cs.HC Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification

    Published in ArXiv cs.AR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Identification and verification of ferroptosis-related core gene in postmenopausal osteoporosis based on bioinformatics analysis

    Published in PeerJ (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    A Study on the Verification of Inlet Structural Improvement of Side Stream Typed Low Pressure ...

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    A Study on Verification of Delivery Ratio Methodology for Basic Plan at TPLMs(Total Pollutant ...

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    SURE-RAG: Sufficiency and Uncertainty-Aware Evidence Verification for Selective Retrieval-Augmented Generation

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    A Blockchain-as-a-Service Solution for TAFES-Compliant Verification of Fair Trade Certifications

    Published in ArXiv cs.CE Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Simulating reachability using first-order logic with applications to verification of linked data structures

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Verification of reference intervals for routine biochemical tests using the reflimR in Turkish adults

    Published in PLOS ONE (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    A Procedural Architecture for Agent Trust and Credibility Verification in Distributed Ledger-Based Federated Learning

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Exploring the Applicability of Chaotic Maps in Artificial Hummingbird Algorithm: From Algorithm Construction to Case Verification

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: