Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kröger, F. (1987). Eventuality Properties of Programs. In: Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science, vol 8. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71549-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-71549-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-71551-8
Online ISBN: 978-3-642-71549-5
eBook Packages: Springer Book Archive