Search Results - (codification OR verification)

  1. TACO: A Toolsuite for the Verification of Threshold Automata

    Published in ArXiv cs.DC Recent Papers (2026)
    Get full text
    Online Article RSS Article
  2. Safety Verification of Networked Control Systems by Complex Zonotopes

    Get full text
    Online Article RSS Article
  3. Real-Time Verification for Distributed Cyber-Physical Systems

    Get full text
    Online Article RSS Article
  4. JOB: Physical Verification Engineer At DesignNex In Noida

    Published in Electronics For You (2026)
    Get full text
    Online Article RSS Article
  5. Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  6. Affordance Agent Harness: Verification-Gated Skill Orchestration

    Published in ArXiv cs.CV Recent Papers (2026)
    Get full text
    Online Article RSS Article
  7. Formal Verification of Imperative First-Class Functions in Move

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  8. A case study on parametric verification of failure detectors

    Get full text
    Online Article RSS Article
  9. A proof system for graph (non)-isomorphism verification

    Get full text
    Online Article RSS Article
  10. Specification and Verification of Timing Properties in Interoperable Medical Systems

    Get full text
    Online Article RSS Article
  11. GAFSV-Net: A Vision Framework for Online Signature Verification

    Published in ArXiv cs.CR Recent Papers (2026)
    Get full text
    Online Article RSS Article
  12. A New Interaction Concept for Interactive and Autoactive Program Verification

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  13. Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

    Get full text
    Online Article RSS Article
  14. Verification for Timed Automata extended with Unbounded Discrete Data Structures

    Get full text
    Online Article RSS Article
  15. Compositional Verification for Timed Systems Based on Automatic Invariant Generation

    Get full text
    Online Article RSS Article
  16. A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems

    Get full text
    Online Article RSS Article
  17. Study on Automation for Verification of Naval Ship's Operational Scenarios using Simulation: ...

    Get full text
    Online Article RSS Article
  18. A novel use of the precordial Doppler for verification of central venous access

    Get full text
    Online Article RSS Article
  19. MACHINE LEARNING ALGORITHMS IN FACIAL IDENTITY VERIFICATION FOR COMPUTER-BASED ASSESSMENTS

    Published in Acta Electronica Malaysia (2024)
    Get full text
    Online Article RSS Article
  20. HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs

    Published in ArXiv cs.AR Recent Papers (2026)
    Get full text
    Online Article RSS Article