ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold.

Tiancheng Jin Jianjun Zhao

Published in: QSW (2023)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
user interface
software environment
requirements specification
general purpose
reinforcement learning
cooperative
search algorithm
orders of magnitude
key features