Arons, Tamarah; Pnueli, Amir; Ruah, Sitvanit; Xu, Ying; Zuck, Lenore Parameterized verification with automatically computed inductive assertions. (English) Zbl 0991.68541 Berry, GĂ©rard (ed.) et al., Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2102, 221-234 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{T. Arons} et al., Lect. Notes Comput. Sci. 2102, 221--234 (2001; Zbl 0991.68541) Full Text: Link
Pnueli, Amir; Ruah, Sitvanit; Zuck, Lenore Automatic deductive verification with invisible invariants. (English) Zbl 0978.68539 Margaria, Tiziana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2031, 82-97 (2001). MSC: 68Q60 68T15 68N30 PDFBibTeX XMLCite \textit{A. Pnueli} et al., Lect. Notes Comput. Sci. 2031, 82--97 (2001; Zbl 0978.68539) Full Text: Link
Damm, W.; Pnueli, A.; Ruah, S. Herbrand automata for hardware verification. (English) Zbl 0940.68051 Sangiorgi, Davide (ed.) et al., CONCUR ’98. Concurrency theory. 9th international conference, Nice, France, September 8-11, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1466, 67-83 (1998). MSC: 68Q05 PDFBibTeX XMLCite \textit{W. Damm} et al., Lect. Notes Comput. Sci. 1466, 67--83 (1998; Zbl 0940.68051)