A computer-checked verification of Milner's scheduler (1994)
Cached
Download Links
- [www.cwi.nl]
- [www.phil.uu.nl]
- [ftp.phil.ruu.nl]
- DBLP
Other Repositories/Bibliography
by
Henri Korver
,
Jan Springintveld
| Venue: | PROCEEDINGS OF THE 2 ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE, TACS '94 |
| Citations: | 18 - 5 self |
BibTeX
@INPROCEEDINGS{Korver94acomputer-checked,
author = {Henri Korver and Jan Springintveld},
title = {A computer-checked verification of Milner's scheduler},
booktitle = {PROCEEDINGS OF THE 2 ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE, TACS '94},
year = {1994},
pages = {161--178},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present an equational verification of Milner's scheduler, which we checked by computer. To our knowledge this is the first time that the scheduler is proof-checked for a general number n of scheduled processes.
