Login / Signup
Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking.
Jonas Klamroth
Max Scheerer
Oliver Denninger
Published in:
GI-Jahrestagung (2021)
Keyphrases
</>
bounded model checking
formal verification
software systems
model checking
software development
software tools
computer systems
software design
source code
software architecture
learning algorithm
web services
multi agent systems
user interface
software projects
modeling language