| 
|
Quote: computing hash values is the most expensive operation in a model checker
topics >
all references >
references c-d >
Topic:
model checker
Topic:
hash table and hash functions
Quotation Skeleton
[Holzmann, G.J., The Spin Model Checker: Primer and Reference Manual, Addison-Wesley, 2003] In a well-tuned model checker, the run-time … [the number of hash functions used]; computing hash values is the single most expensive operation that … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)
Topic: hash table and hash functions (41 items)