Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
S. Bensalem, Y. Lakhnech, H. SaÏdi. Powerful Techniques for the Automatic Generation of Invariants. Submitted to CAV'96.
N. BjØrner, A. Browne and Z. Manna. Automatic Generation of Invariants and Intermediate Assertions In U. Montanari, editor, First International Conference on Principles and Practice of Constraint Programming, LNCS, Cassis, France, September 1995.
A. Blinchevsky, B. Liberman, I. Usvyatsky, A. Pnueli. TPVS: Documentation and Progress Report. Weizmann Institute Of Science, 1994.
Z. Manna and al. STeP: The Stanford Temporal Prover. Department of Computer Science, Stanford University, 1994.
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.
S. Owre, N. Shankar, and J. M. Rushby. A Tutorial on Specification and Verification Using PVS. Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
S. Owre, N. Shankar, and J. M. Rushby. The PVS Specification Language. Computer Science Laboratory, SRI International, Menlo Park, CA, February 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
SaÏdi, H. (1996). A tool for proving invariance properties of concurrent systems automatically. In: Margaria, T., Steffen, B. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1996. Lecture Notes in Computer Science, vol 1055. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61042-1_61
Download citation
DOI: https://doi.org/10.1007/3-540-61042-1_61
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61042-7
Online ISBN: 978-3-540-49874-2
eBook Packages: Springer Book Archive