Login / Signup

QMC: A Model Checker for Quantum Systems.

Simon J. GayRajagopal NagarajanNikolaos Papanikolaou
Published in: CAV (2008)
Keyphrases
  • formal methods
  • model checking
  • model checker
  • distributed systems
  • machine learning
  • petri net