A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits.
Tamir HeymanDaniel GeistOrna GrumbergAssaf SchusterPublished in: Formal Methods Syst. Des. (2002)
Keyphrases
- parallel algorithm
- reachability analysis
- model checking
- markov decision processes
- parallel computation
- timed automata
- cluster of workstations
- incremental algorithms
- state space
- shared memory
- parallel programming
- medial axis transform
- data mining
- processor array
- parallel implementations
- parallel version
- real time
- dominant points
- dynamic programming