Reachability and Termination Analysis of Concurrent Quantum Programs.

Nengkun Yu Mingsheng Ying

Published in: CONCUR (2012)

Keyphrases

termination analysis
abstract interpretation
active rules
active databases
control flow
state space
integrity constraints
database
multi dimensional
model checking
static analysis