Can I read Quantum Validation & Verification in Software on EtoBox?

Quantum Validation & Verification in Software by thekin124 is a document available to read on EtoBox.

What is Quantum Validation & Verification in Software about?

This paper discusses the challenges of verification and validation (V&V) in complex safety-critical software systems, particularly in aerospace, where conventional methods are labor-intensive and costly. It proposes an advanced V&V approach utilizing Adiabatic Quantum Computing (AQC) to automate the discovery of system invariants, potentially reducing the complexity and improving efficiency in software development. The paper highlights the limitations of current formal methods and suggests that quantum meth

Author

thekin124

Language

EN