ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold.
Tiancheng JinJianjun ZhaoPublished in: CoRR (2023)
Keyphrases
- specification language
- formal specification
- description language
- programming language
- symbolic execution
- software environment
- user interface
- model checking
- requirements specification
- quantum computation
- general purpose
- quantum computing
- quantum inspired
- software architecture
- model checker
- object oriented
- artificial intelligence