Article PDF
References
Clarke E.M., Grumberg O., Peled D.: Model Checking. MIT Press, Cambridge (1999)
Chockler, H., Hu, A.J. (eds.): Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27–30, 2008. Proceedings, Lecture Notes in Computer Science, vol. 5394, Springer (2009)
Davis M., Logemann G., Loveland D.: A machine program for theorem proving. Commun. ACM 5(7), 394–397 (1962)
Davis M., Putnam H.: A computing procedure for quantification theory. J. ACM 7(3), 201–215 (1960)
Henzinger, T.: The theory of hybrid automata. In: Symposium on Logic in Computer Science (LICS), pp. 278–292 (1996)
Pearl, J. : Bayesian Networks: A Model of Self-Activated Memory for Evidential Reasoning. UCLA Technical Report CSD-850017 (1985)
Pearl J.: Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, Massachusetts (1988)
Piziali, A.: Functional Verification Coverage Measurement and Analysis. Springer (2004)
Roesner W., Wile B., Goss J.C.: Comprehensive Functional Verification—The Complete Industry Cycle. Morgan Kaufmann, Massachusetts (2005)
Yorav, K. (ed.): Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23–25, 2007, Proceedings, Lecture Notes in Computer Science, vol. 4899, Springer (2008)
Yorav K.: Haifa verification conference 2007. STTT 11(4), 269–272 (2009)
Zeller, A.: Delta debugging. http://www.st.cs.uni-saarland.de/dd/
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Chockler, H., Hu, A.J. Preface. Int J Softw Tools Technol Transfer 13, 201–205 (2011). https://doi.org/10.1007/s10009-011-0194-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-011-0194-x