Login / Signup

On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.

Fu SongWeikai MiaoGeguang PuMin Zhang
Published in: CONCUR (2015)
Keyphrases
  • reachability analysis
  • model checking
  • management system
  • application programs
  • expert systems
  • finite state
  • distributed systems
  • search space
  • computer systems
  • markov decision processes
  • key technologies