A Computer-Checked Verification of Milner's Scheduler
Publication date
1993-11
Authors
Korver, H.
Springintveld, J.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
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.