Resultados de búsqueda - Program verification (computers)

Limitar resultados
  1. Imagen de Portada

    INS TESTS VERIFICATION PROGRAM COMPUTER LETS EMPLOYERS FIND OUT IF NEW WORKERS ARE ILLEGAL IMMIGRANTS por Los Angeles Times

    Publicado en Sun Sentinel (Nov 1, 1995)
    Citation/Abstract
    Full Text
    Agregar a favoritos
    Guardado en:
  2. Imagen de Portada

    Computer program verification: Improvements for human reasoning por Heym, Wayne David

    Publicado en ProQuest Dissertations and Theses (1995)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  3. Imagen de Portada

    Auto-Active Relational Verification and Alignment Completeness por Nagasamudram, Ramana

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  4. Imagen de Portada

    Enhancing The Global Perspective Of Reu Site Students por Guerrero, Cesar

    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  5. Imagen de Portada

    Recent advances in program verification through computer algebra por Yang, Lu

    Publicado en Frontiers of Computer Science in China (Mar 2010)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  6. Imagen de Portada

    DEFENSE CONTRACTS

    Publicado en Defense Daily (May 7, 1999)
    Citation/Abstract
    Full Text
    Agregar a favoritos
    Guardado en:
  7. Imagen de Portada

    Practical Automated Relational Verification por Dickerson, Robert

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  8. Imagen de Portada

    Multi-criteria resilience assessment and critical barrier analysis of urban water distribution networks based on AHP–FAHP por Li, Qiang

    Publicado en SN Applied Sciences (Jan 2026)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  9. Imagen de Portada

    Boson Sampling with Gaussian input states: toward efficient scaling and certification por Abrahao, Raphael A

    Publicado en arXiv.org (Nov 13, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  10. Imagen de Portada

    Discourje: Run-Time Verification of Communication Protocols in Clojure -- Live at Last (Technical Report) por Sung-Shik Jongmans

    Publicado en arXiv.org (Jun 29, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  11. Imagen de Portada

    Scaling Symbolic Execution to Large Software Systems por Horvath, Gabor

    Publicado en arXiv.org (Aug 4, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  12. Imagen de Portada

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

    Publicado en Machines (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  13. Imagen de Portada

    Correct Programs, Executed Correctly: Verifying Specifications and Executions por Ioannidis, Eleftherios

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  14. Imagen de Portada

    Dual-Mode PID Control for Automotive Resolver Angle Compensation Based on a Fuzzy Self-Tuning Divide-and-Conquer Framework por Zeng Xin

    Publicado en World Electric Vehicle Journal (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  15. Imagen de Portada

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

    Publicado en arXiv.org (Jan 28, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  16. Imagen de Portada

    Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification por Beyer, Dirk

    Publicado en arXiv.org (Mar 12, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  17. Imagen de Portada

    Learning-Directed Systems with Safety and Robustness Certificates por Yang, Chenxi

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  18. Imagen de Portada

    Structural temporal logic for mechanized program verification por Ioannidis, Eleftherios

    Publicado en arXiv.org (Nov 18, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  19. Imagen de Portada

    Towards Classical Software Verification using Quantum Computers por Issel, Sebastian

    Publicado en arXiv.org (Apr 29, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  20. Imagen de Portada

    Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights por Krishna, Rahul

    Publicado en arXiv.org (Oct 16, 2024)
    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: