| 
|
Quote: SPIN--on-the-fly model checker; partial search with bit-state hashing and simulation mode
topics >
all references >
references i-l >
Topic:
model checker
Topic:
test data selection
Topic:
simulation
Quotation Skeleton
SPIN is an on-the-fly model checker and does … verified. … For larger systems state spaces, the bit-state hashing … in the state space. A random choice is … the simulation mode in SPIN usually discovers most … hard to find bugs that occur infrequently on … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: SPIN's simulation mode finds the most bugs; random choice at each turn; users rarely find rare bugs
Topic: model checker (49 items)
Topic: test data selection (39 items)
Topic: simulation (35 items)