Eventuality Properties of Programs
We now want to investigate the verification of eventuality properties of programs expressing that “eventually something will happen”. However, we first have to come back to our interleaving model of computation and the notion of execution sequences of programs and have a somewhat closer look at them.
KeywordsParallel Component Execution Sequence Proof Method Eventuality Property Basic Axiom
Unable to display preview. Download preview PDF.