Reachability for Finite-State Process Algebras Using Static Analysis.

Nataliya Skrypnyuk Flemming Nielson

Published in: RP (2011)

Keyphrases

finite state
static analysis
markov chain
state space
dynamic analysis
source code
model checking
markov decision processes
search space
test generation
context free