Abstract

Yet another report on the TLA+ verification activity at Compaq. It mentions some work that’s been done since we wrote [140].