| 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.
|