VyZX: Formal Verification of a Graphical Quantum Language.

Adrian Lehmann Ben Caldwell Bhakti Shah Robert Rand

Published in: CoRR (2023)

Keyphrases

formal verification
model checker
model checking
bounded model checking
symbolic model checking
query language for xml
language learning
automated verification
programming language
natural language
temporal logic
linear temporal logic
program slicing
formal specification
specification language
quantum mechanics