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, and H. Saïdi. Powerful Techniques for the Automatic Generation of Invariants. In Conference on Computer Aided Verification CAV'96, LNCS 1102, July 1996.
J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier and M. Sighireanu. CADP (Cæsar/Aldébaran Development Package): A protocol validation and verification toolbox. In CAV 1996. LNCS 1102, 1996.
S. Graf and H. Saïdi. Verifying invariants using theorem proving. In Conference on Computer Aided Verification CAV'96, LNCS 1102, July 1996.
S. Graf and H. Saïdi. Construction of abstract state graphs with PVS. In this volume.
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, February 1993.
H. Saïdi. A Tool for Proving Invariance Properties of Concurrent Systems Automatically. In TACAS'96, LNCS 1056, Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Saïdi, H. (1997). The invariant checker: Automated deductive verification of reactive systems. In: Grumberg, O. (eds) Computer Aided Verification. CAV 1997. Lecture Notes in Computer Science, vol 1254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63166-6_42
Download citation
DOI: https://doi.org/10.1007/3-540-63166-6_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63166-8
Online ISBN: 978-3-540-69195-2
eBook Packages: Springer Book Archive