| 
|
Quote: explicit-state model checking with bitstate verification and Bloom filters; e.g., Spin, cache coherence, and network protocols
topics >
all references >
references c-d >
Topic:
model checker
Topic:
hash filter
Quotation Skeleton
"Bitstate verification" [ref] is a term that has … Explicit-state model checkers, such as Holzmann's SPIN, have … such as cache coherence and network protocols. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)
Topic: hash filter (18 items)