Abstract
This monograph is concerned with the verification of infinite systems. ‘Verification’ has connotations of algorithmic checking, and is chosen for that reason, for the topic is the combination of two areas which have hitherto been considered separately.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1992 Julian Charles Bradfield
About this chapter
Cite this chapter
Bradfield, J.C. (1992). Introduction. In: Verifying Temporal Properties of Systems. Progress in Theoretical Computer Science. Birkhäuser Boston. https://doi.org/10.1007/978-1-4684-6819-9_1
Download citation
DOI: https://doi.org/10.1007/978-1-4684-6819-9_1
Publisher Name: Birkhäuser Boston
Print ISBN: 978-1-4684-6821-2
Online ISBN: 978-1-4684-6819-9
eBook Packages: Springer Book Archive