Interface | Description |
---|---|
SearchListener |
interface to register for notification by the Search object.
|
Class | Description |
---|---|
DFSearch |
standard depth first model checking (but can be bounded by search depth
and/or explicit Verify.ignoreIf)
|
PathSearch |
PathSearch is not really a Search object, just a simple 'forward'
driver for the VM that loops until there is no next instruction or
a property doesn't hold
|
RandomSearch |
this is a straight execution pseudo-search - it doesn't search at
all (i.e.
|
Search |
the mother of all search classes.
|
SearchListenerAdapter |
a no-action SearchListener which we can use to override only the
notifications we are interested in
|
SearchState | |
Simulation |
this is a straight execution pseudo-search - it doesn't search at
all (i.e.
|