Sign in

Reachability for Finite-State Process Algebras Using Static Analysis.

Nataliya SkrypnyukFlemming 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