Formal Methods for Quantum Programs: A Survey.
Christophe CharetonSébastien BardinDongho LeeBenoît ValironRenaud VilmartZhaowei XuPublished in: CoRR (2021)
Keyphrases
- formal methods
- provably correct
- model checking
- formal analysis
- model checker
- formal specification
- artificial intelligence
- safety critical
- software engineering
- knowledge based systems
- process algebra
- modeling language
- quantum computation
- temporal properties
- security properties
- quantum mechanics
- machine learning
- real world
- temporal logic
- relational databases
- multi agent
- knowledge base
- quantum computing
- development lifecycle
- databases