A Coq-Based Infrastructure for Quantum Programming, Verification and Simulation.

Wenxuan Tao Gang Chen

Published in: TAMC (2024)

Keyphrases

formal methods
model checking
programming language
quantum computing
simulation model
real time
genetic algorithm
simulation environment
colored petri nets
website
multi agent
expert systems
mobile robot
information retrieval
neural network
simulation study
face verification
simulation models
database