lock-free hashtable for model checking