Automated Verification of Silq Quantum Programs using SMT Solvers.
Marco LewisPaolo ZulianiSadegh SoudjaniPublished in: CoRR (2024)
Keyphrases
- automated verification
- model checking
- automated reasoning
- modulo theories
- formal verification
- stable model semantics
- quantum inspired
- statistical machine translation
- answer set programming
- quantum computing
- answer sets
- sat solvers
- declarative programming
- computer programs
- satisfiability modulo theories
- sat instances
- graph theory
- stable models
- logic circuits
- artificial intelligence
- theorem proving
- logic programming
- social networks