Shared Hash Tables in Parallel Model Checking.
Jiri BarnatPetr RockaiPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- model checking
- hash tables
- temporal logic
- formal verification
- temporal properties
- model checker
- automated verification
- verification method
- symbolic model checking
- bounded model checking
- hash table
- transition systems
- computation tree logic
- formal specification
- locality sensitive hashing
- hash functions
- timed automata
- epistemic logic
- database
- alternating time temporal logic
- formal methods
- nearest neighbor