Formal Quantum Software Engineering: Introducing the Formal Methods of Software Engineering to Quantum Computing.
Carmelo R. CartierePublished in: CoRR (2021)
Keyphrases
- formal methods
- quantum computing
- software engineering
- quantum inspired
- quantum evolutionary algorithm
- artificial intelligence
- knowledge based systems
- model checking
- quantum mechanics
- formal specification
- formal analysis
- software development
- safety critical
- logic synthesis
- software systems
- reverse engineering
- reactive systems
- software architecture
- object oriented
- formal specification language
- mobile computing
- database
- genetic algorithm