John Regehr’s question below gets to one of the basic problems I see in the field of “formal methods” – the general failure of researchers in the field to look at experimental data and the operation of actual systems. The
Chapter 2: liveness and scheduling
Draft is available https://www.yodaiken.com/papers/rec.html
They took all the water, what could I do?
We’re in process of moving to Austin Texas where the humidity should help ripen new ideas.
Operating system design and specification: Part 1.
[Note: This is the first in a series of “chapters”. I’ll be revising as I see errors and in response to comments. As usual, this material is copyright Victor Yodaiken and rights are given to make, but not sell, verbatim