Resultados de búsqueda - Program verification (computers)
-
-
Scaling Symbolic Execution to Large Software Systems
Publicado en arXiv.org (Aug 4, 2024)Citation/Abstract
Full text outside of ProQuest
-
C Analyzer : A Static Program Analysis Tool for C Programs
Publicado en arXiv.org (Jan 28, 2024)Citation/Abstract
Full text outside of ProQuest
-
Structural temporal logic for mechanized program verification
Publicado en arXiv.org (Nov 18, 2024)Citation/Abstract
Full text outside of ProQuest
-
Towards Classical Software Verification using Quantum Computers
Publicado en arXiv.org (Apr 29, 2024)Citation/Abstract
Full text outside of ProQuest