Journal of Automated Reasoning

, Volume 51, Issue 4, pp 453–456 | Cite as

“Decision Procedures: An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008

  • Clark Barrett


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bradley, A.R., Manna, Z.: The Calculus of Computation: Decision Procedures with Applications to Verification. Springer Berlin Heidelberg (2007)Google Scholar
  2. 2.
    Kroening, D., Strichman, O.: Accessed Oct 2013
  3. 3.
    de Moura, L., Bjørner, N.: Generalized, efficient array decision procedures. In: Formal Methods in Computer-Aided Design 2009, pp. 45–52. IEEE (2009)Google Scholar
  4. 4.
    Shostak, R.E.: An algorithm for reasoning about equality. Commun. ACM 21(7), 583–585 (1978)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.New York UniversityNew YorkUSA

Personalised recommendations