• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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