Eventuality Properties of Programs

  • Fred Kröger
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 8)


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.


Parallel Component Execution Sequence Proof Method Eventuality Property Basic Axiom 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Fred Kröger
    • 1
  1. 1.Institut für InformatikUniversität MünchenMünchen 2Germany

Personalised recommendations