References
Bradley, A.R., Manna, Z.: The Calculus of Computation: Decision Procedures with Applications to Verification. Springer Berlin Heidelberg (2007)
Kroening, D., Strichman, O.: http://www.decision-procedures.org/. Accessed Oct 2013
de Moura, L., Bjørner, N.: Generalized, efficient array decision procedures. In: Formal Methods in Computer-Aided Design 2009, pp. 45–52. IEEE (2009)
Shostak, R.E.: An algorithm for reasoning about equality. Commun. ACM 21(7), 583–585 (1978)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Barrett, C. “Decision Procedures: An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008. J Autom Reasoning 51, 453–456 (2013). https://doi.org/10.1007/s10817-013-9295-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-013-9295-4