Login / Signup

On Improving Reachability Analysis for Verifying Progress Properties for Networks of CFSMs.

Hans van der SchootHasan Ural
Published in: ICDCS (1998)
Keyphrases
  • reachability analysis
  • model checking
  • social networks
  • dynamic programming
  • complex networks
  • timed automata
  • search algorithm
  • sufficient conditions
  • temporal logic
  • structural properties
  • incremental algorithms