Verifying Temporal Properties of Systems
Julian Charles Bradfield · Birkhäuser Boston eBooks · 1992
This monograph aims to provide a powerful general-purpose proof tech nique for the verification of systems, whether finite or infinite. It extends the idea of finite local model-checking, which was in