Search Results - (codification OR verification)

Refine Results
  1. Cover Image

    TACO: A Toolsuite for the Verification of Threshold Automata

    Published in ArXiv cs.DC 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

    Safety Verification of Networked Control Systems by Complex Zonotopes

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

    Real-Time Verification for Distributed Cyber-Physical Systems

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

    JOB: Physical Verification Engineer At DesignNex In Noida

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

    Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)

    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

    Affordance Agent Harness: Verification-Gated Skill Orchestration

    Published in ArXiv cs.CV 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

    Formal Verification of Imperative First-Class Functions in Move

    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

    A case study on parametric verification of failure detectors

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

    A proof system for graph (non)-isomorphism verification

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

    Specification and Verification of Timing Properties in Interoperable Medical Systems

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

    GAFSV-Net: A Vision Framework for Online Signature Verification

    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:
  12. Cover Image

    A New Interaction Concept for Interactive and Autoactive Program Verification

    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:
  13. Cover Image

    Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

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

    Verification for Timed Automata extended with Unbounded Discrete Data Structures

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

    Compositional Verification for Timed Systems Based on Automatic Invariant Generation

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

    A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems

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

    Study on Automation for Verification of Naval Ship's Operational Scenarios using Simulation: ...

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

    A novel use of the precordial Doppler for verification of central venous access

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

    MACHINE LEARNING ALGORITHMS IN FACIAL IDENTITY VERIFICATION FOR COMPUTER-BASED ASSESSMENTS

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

    HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs

    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:

Search Tools: