|
| | | Experiments | Contents |
The experiments were run on a 2GHz pentium M laptop (Dell D410).
Success means than fail instructions are not reachable, and also, depending on the example, that more global properties like mutual exclusion are ensured (checked by manual inspection of the analysis results.)
|
| | | Experiments | Contents |