Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

By Julian Charles Bradfield

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0817636250
• ISBN13: 9780817636258
• Release Date: February 1992
• Publisher: Birkhäuser
• Length: 116 Pages
• Weight: 0.80 lbs.
• Dimensions: 9.5" x 0.5" x 6.5"