Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications

Rob Sumners

We present a series of definitions and theorems demonstrating how to reduce the requirements for proving system refinements ensuring containment of fair stuttering runs. A primary…