1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Gopalakrishnan, Ganesh | The 'test model-checking' approach to the verification of formal memory models of multiprocessors | We offer a solution to the problem of verifying formal memory models of processors by com bining the strengths of model checking and a formal testing procedure for parallel machines We characterize the formal basis for abstracting the tests into test automata and associated memory rule safety p... | Formal memory models; Shared memory multiprocessors; Formal testing; Model; Checking | 1998 |
1 - 25 of 1