Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking.
Hemanthkumar SivarajGanesh GopalakrishnanPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- random walk
- model checking
- distributed memory
- shared memory
- temporal logic
- parallel implementation
- ibm sp
- formal verification
- formal specification
- model checker
- temporal properties
- automated verification
- markov chain
- symbolic model checking
- computation tree logic
- timed automata
- verification method
- alternating time temporal logic
- epistemic logic
- transition probabilities
- parallel machines
- markov random walk
- transition systems
- higher order
- scheduling problem
- knowledge representation