Formal Quantum Software Engineering. Introducing the Formal Methods of Software Engineering to Quantum Computing.
Carmelo R. CartierePublished in: Q-SET@QCE (2021)
Keyphrases
- formal methods
- quantum computing
- software engineering
- quantum inspired
- formal analysis
- quantum evolutionary algorithm
- formal specification
- model checking
- artificial intelligence
- safety critical
- software development
- quantum mechanics
- knowledge based systems
- mobile computing
- software systems
- development process
- reverse engineering
- formal specification language
- object oriented
- reactive systems
- logic synthesis
- life cycle
- design patterns
- databases
- smart card
- relational databases
- genetic algorithm