Temporal verification of reactive systems
Subtitle: safety
By: Zohar Manna, Amir Pnueli.
Contributors: Pnueli, A.
Publisher: Springer
Published: 1995
Place of publication: New York
Language: eng
Number of pages: 512
Subjects: Computer software -- Verification; Parallel processing (Electronic computers)
Notes: Includes bibliographical references (p. [465]-479) and indexes.