Jain, Himanshu; Clarke, Edmund M.; Grumberg, Orna Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. (English) Zbl 1186.68013 Form. Methods Syst. Des. 35, No. 1, 6-39 (2009). MSC: 68M07 68Q60 11D04 PDFBibTeX XMLCite \textit{H. Jain} et al., Form. Methods Syst. Des. 35, No. 1, 6--39 (2009; Zbl 1186.68013) Full Text: DOI
Chaki, Sagar; Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant Verification of evolving software via component substitutability analysis. (English) Zbl 1147.68047 Form. Methods Syst. Des. 32, No. 3, 235-266 (2008). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{S. Chaki} et al., Form. Methods Syst. Des. 32, No. 3, 235--266 (2008; Zbl 1147.68047) Full Text: DOI Link
Clarke, Edmund M. The birth of model checking. (English) Zbl 1142.68046 Grumberg, Orna (ed.) et al., 25 years of model checking. History, achievements, perspectives. Berlin: Springer (ISBN 978-3-540-69849-4/pbk). Lecture Notes in Computer Science 5000, 1-26 (2008). Reviewer: Klaus D. Kiermeier (Berlin) MSC: 68Q60 03B44 03B70 68-03 68Q85 PDFBibTeX XMLCite \textit{E. M. Clarke}, Lect. Notes Comput. Sci. 5000, 1--26 (2008; Zbl 1142.68046) Full Text: DOI
Baier, Christel; Clarke, Edmund M.; Hartonas-Garmhausen, Vasiliki; Kwiatkowska, Marta; Ryan, Mark Symbolic model checking for probabilistic processes. (English) Zbl 1401.68180 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 430-440 (1997). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 1256, 430--440 (1997; Zbl 1401.68180) Full Text: DOI
Burch, J. R.; Clarke, E. M.; McMillan, K. L.; Dill, D. L.; Hwang, L. J. Symbolic model checking: \(10^{20}\) states and beyond. (English) Zbl 0753.68066 Inf. Comput. 98, No. 2, 142-170 (1992). MSC: 68Q60 68Q10 68Q85 PDFBibTeX XMLCite \textit{J. R. Burch} et al., Inf. Comput. 98, No. 2, 142--170 (1992; Zbl 0753.68066) Full Text: DOI
Browne, M. C.; Clarke, E. M.; Grumberg, O. Reasoning about networks with many identical finite state processes. (English) Zbl 0709.68610 Inf. Comput. 81, No. 1, 13-31 (1989). MSC: 68-XX PDFBibTeX XMLCite \textit{M. C. Browne} et al., Inf. Comput. 81, No. 1, 13--31 (1989; Zbl 0709.68610) Full Text: DOI
German, Steven M.; Clarke, Edmund M.; Halpern, Joseph Y. Reasoning about procedures as parameters in the language L4. (English) Zbl 0692.68011 Inf. Comput. 83, No. 3, 265-359 (1989). MSC: 68Q60 68N01 68Q55 PDFBibTeX XMLCite \textit{S. M. German} et al., Inf. Comput. 83, No. 3, 265--359 (1989; Zbl 0692.68011) Full Text: DOI
Browne, M. C.; Clarke, E. M.; Grümberg, O. Characterizing finite Kripke structures in propositional temporal logic. (English) Zbl 0677.03011 Theor. Comput. Sci. 59, No. 1-2, 115-131 (1988). Reviewer: C.Masalagiu MSC: 03B45 03B70 68Q65 03C90 PDFBibTeX XMLCite \textit{M. C. Browne} et al., Theor. Comput. Sci. 59, No. 1--2, 115--131 (1988; Zbl 0677.03011) Full Text: DOI
Mishra, B.; Clarke, E. Hierarchical verification of asynchronous circuits using temporal logic. (English) Zbl 0584.94022 Theor. Comput. Sci. 38, 269-291 (1985). Reviewer: L.Livovschi MSC: 94C10 03B60 PDFBibTeX XMLCite \textit{B. Mishra} and \textit{E. Clarke}, Theor. Comput. Sci. 38, 269--291 (1985; Zbl 0584.94022) Full Text: DOI