Hakutulokset - "Computer software Verification"

Tarkenna hakua
  1. Kansikuva

    Certified Synthesis for Interactive Media: High Assurance Metroidvania Generation Tekijä Mawhorter, Ross Edward

    Citation/Abstract
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  2. Kansikuva

    A Technique to Support Incremental Construction and Verification in Component-Based Software Development Tekijä PDF

    Citation/Abstract
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  3. Kansikuva

    Construction of the Learner-Centered Teaching College English Teaching Mode Under Big Data Technology Tekijä Bai, Ge

    Citation/Abstract
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  4. Kansikuva

    A BUILT-UP AND TEST OF MIR SYSTEM OF SHARING VERIFICATION SOFTWARE APPLIED IN MUSIC EDUCATION Tekijä Lee, Kuo-Ying

    Citation/Abstract
    Full Text
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  5. Kansikuva

    Verifiable measurement-based quantum random sampling with trapped ions

    Julkaisussa Nature Communications (2025)
    Citation/Abstract
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  6. Kansikuva

    Formal Verification of Transcompiled Mobile Applications Using First-Order Logic Tekijä Muhammad Ahmad Ahmad

    Julkaisussa Technologies (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  7. Kansikuva

    Scaling Deductive Verification for Real-World Cloud Data Security Tekijä Li, Xupeng

    Citation/Abstract
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  8. Kansikuva

    A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis † Tekijä Paduraru Ciprian

    Julkaisussa Machines (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  9. Kansikuva

    Digitally-Driven Surgical Guide for Alveoloplasty Prior to Immediate Denture Placement Tekijä Badr Zaid

    Julkaisussa Dentistry Journal (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  10. Kansikuva

    Real-Time Monitoring of LTL Properties in Distributed Stream Processing Applications Tekijä Aladib, Loay

    Julkaisussa Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  11. Kansikuva

    Implementation Efficiency of Falcon Digital Signature Scheme on Arty-7 XC7A35T Board Tekijä Tat-Thang, Nguyen

    Julkaisussa Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  12. Kansikuva

    A Web-based Framework for Unified Channel Access and Data Integrity in Smart Electricity Billing Tekijä Hong, Huawei

    Julkaisussa Journal of Web Engineering (2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  13. Kansikuva

    Simulation-Based Assessment of Evacuation Efficiency in Sports Stadiums: Insights from Case Studies Tekijä Yang Chieh-Hsiung

    Julkaisussa Fire (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  14. Kansikuva

    Acer Swift 16 AI: A big, beautiful OLED laptop Tekijä Hachman, Mark

    Julkaisussa PCWorld (Online) (Mar 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Lisää suosikkeihin
    Tallennettuna:
  15. Kansikuva

    CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph Tekijä Xu, Hanxiang

    Julkaisussa arXiv.org (Dec 20, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lisää suosikkeihin
    Tallennettuna:
  16. Kansikuva

    Icing on the Cake: Automatic Code Summarization at Ericsson Tekijä Sridhara, Giriprasad

    Julkaisussa arXiv.org (Aug 19, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lisää suosikkeihin
    Tallennettuna:
  17. Kansikuva

    Towards Classical Software Verification using Quantum Computers Tekijä Issel, Sebastian

    Julkaisussa arXiv.org (Apr 29, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lisää suosikkeihin
    Tallennettuna:
  18. Kansikuva

    C Analyzer : A Static Program Analysis Tool for C Programs Tekijä Solanki, Rajendra Kumar

    Julkaisussa arXiv.org (Jan 28, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lisää suosikkeihin
    Tallennettuna:
  19. Kansikuva

    Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches Tekijä Braberman, Víctor A

    Julkaisussa arXiv.org (Sep 8, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lisää suosikkeihin
    Tallennettuna:
  20. Kansikuva

    Software Engineering Methods For AI-Driven Deductive Legal Reasoning Tekijä Padhye, Rohan

    Julkaisussa arXiv.org (Jun 27, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Lisää suosikkeihin
    Tallennettuna:

Työkalut: